×

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

间隙1.0(系统描述)。 (英语) Zbl 07628197号

Blanchette,Jasmin(编辑)等人,《自动推理》。第十一届国际联合会议,2022年8月8日至10日,以色列海法,IJCAR 2022。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13385, 350-358 (2022).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用

与lambdas重叠。 (英语) Zbl 1471.03014号

Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11716, 55-73 (2019).
PDF格式BibTeX公司 XML格式引用

THF0–用于高阶逻辑的TPTP语言的核心。 (英语) Zbl 1165.68447号

阿曼多、亚历山德罗(编辑)等,《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林:施普林格出版社(ISBN 978-3-540-71069-1/pbk)。计算机科学课堂讲稿5195。人工智能课堂讲稿,491-506(2008)。
MSC公司:68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

全部的 前3名

软件