×

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

自动谓词逻辑有效性证明的演绎过程。 (英语) Zbl 1114.68531号

Pipervski,Boro(编辑)等人,马其顿第二届数学家和计算机科学家大会。2000年9月28日至10月1日,马其顿奥赫里德,国会议事录。斯科普里:Sojuz na Matematicharite i Informaticharite na Makedonija。137-144 (2003).
MSC公司:68吨15 03F99型
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

主字段

软件