×

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

Coq和CoqHammer的具体语义。 (英语) Zbl 1417.68181号

弗洛里安·拉贝(编辑)等人,《智能计算机数学》。2018年8月13日至17日,第11届国际会议,CICM 2018,奥地利哈根堡。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11006,53-59(2018)。
MSC公司:68吨15 68甲15 第68季度55
PDF格式BibTeX公司 XML格式引用

SMTCoq:用于将SMT解算器集成到Coq中的插件。 (英语) Zbl 1494.68285号

Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。10427, 126-133 (2017).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

异常的相对Hilbert-Post完整性。 (英语) Zbl 1460.68024号

Kotsireas,Ilias S.(编辑)等人,《计算机和信息科学的数学方面》。2015年11月11日至13日在德国柏林举行的2015年MACIS第六届国际会议。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9582, 596-610 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

筛选结果依据…

文档类型

出版年份

主字段

全部的 前3名

软件