×

找到7个文档(结果1-7)

相关规范。 (英语) Zbl 0791.68104号

Rauszer,Cecylia(编辑),逻辑和计算机科学中的代数方法。1991年9月15日至12月15日在波兰华沙举行的关于逻辑代数方法及其计算机科学应用的第三十八学期论文。华沙:波兰科学院数学研究所。巴纳赫美分。出版物。28, 167-190 (1993).
PDF格式BibTeX公司 XML格式引用

关系代数和程序逻辑。 (英语) Zbl 0749.03016号

代数逻辑。科洛克,布达普/挂。1988年,大学数学。《János Bolyai社会》54、37-58(1991年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份