×

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

在Mizar中为数论形式化扩展数字自动化。 (英语) Zbl 07810742号

Dubois,Catherine(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14101, 309-314 (2023).
MSC公司:68伏xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

增强米扎尔谓词具有及物性的文本。 (英语) Zbl 1344.68206号

Michael Kohlhase(编辑)等人,《智能计算机数学》。2016年7月25日至29日,第九届国际会议,CICM 2016,波兰比亚莱斯托克。诉讼程序。查姆:施普林格(ISBN 978-3-319-42546-7/pbk;978-3-316-42547-4/电子书)。计算机科学课程讲稿9791。《人工智能讲义》,157-162(2016)。
MSC公司:第68页第15页 68立方英尺
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用弱严格的Mizar解析器访问Mizar库。 (英语) Zbl 1344.68211号

Michael Kohlhase(编辑)等人,《智能计算机数学》。2016年7月25日至29日,第九届国际会议,CICM 2016,波兰比亚莱斯托克。诉讼程序。查姆:施普林格(ISBN 978-3-319-42546-7/pbk;978-3-316-42547-4/电子书)。计算机科学课程讲稿9791。人工智能课堂讲稿,77-82(2016)。
MSC公司:第68页第15页 68立方英尺
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段