×

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

这个纳米CoP 2.0经典逻辑、直觉逻辑和模态逻辑的连接证明程序。 (英语) Zbl 07532519号

Das,Anupam(编辑)等人,《使用分析表和相关方法的自动推理》。第30届国际会议,2021年9月6日至9日,英国伯明翰,TABLEAUX 2021。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12842, 236-249 (2021).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从输入/输出逻辑到通过序列的条件逻辑——带有证明器。 (英语) Zbl 07532514号

Das,Anupam(编辑)等人,《使用分析表和相关方法的自动推理》。第30届国际会议,2021年9月6日至9日,英国伯明翰,TABLEAUX 2021。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12842, 147-164 (2021).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Prolog技术强化学习证明程序(系统描述)。 (英语) Zbl 07614694号

佩尔蒂埃、尼古拉斯(编辑)等人,《自动推理》。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12167, 489-507 (2020).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用

MOIN:直觉主义模态逻辑(系统描述)的嵌套序列定理证明程序。 (英语) Zbl 07614686号

Peltier,Nicolas(编辑)等人,《自动推理》。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12167, 398-407 (2020).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

HYPNO公司:非正规模态逻辑的超连续计算定理证明(系统描述)。 (英语) Zbl 07614684号

佩尔蒂埃、尼古拉斯(编辑)等人,《自动推理》。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12167, 378-387 (2020).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

nanoCoP:非子句连接证明程序。 (英语) Zbl 1475.68445号

Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9706, 302-312 (2016).
MSC公司:68伏15 03B35型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

CSL公司-倾斜:比较概念相似性逻辑的理论证明。 (英语) Zbl 1345.68253号

Bolander,Thomas(编辑)等人,《第六届模式方法研讨会论文集》(M4M-6 2009),丹麦哥本哈根,2009年11月12-14日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》262,3-16(2010)。
MSC公司:68吨15 68N17号 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Tableau工作台。 (英语) Zbl 1347.68297号

Areces,Carlos(编辑)等人,《第五届模式方法研讨会论文集》(M4M5,2007年),法国卡尚,2007年11月29日至30日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记231,55-67(2009)。
MSC公司:68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\(\字母\)倾斜TAP接头:一阶经典逻辑的陈述性定理证明器。 (英语) Zbl 1183.68561号

Garcia de la Banda,Maria(编辑)等人,《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-89981-5/pbk)。计算机科学课堂讲稿5366,238-252(2008)。
MSC公司:68吨15 03B10号机组
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\(\mathsf{ileanTAP}\):直觉定理证明器。 (英语) Zbl 1412.68250号

Galmiche,Didier(编辑),用分析表和相关方法进行自动推理。1997年5月13日至16日,法国蓬特-阿-穆森,TABLEAUX’97国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1227, 307-312 (1997).
MSC公司:68吨15 03B20型 68N17号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

命题模态逻辑的自由变量表。 (英语) Zbl 1415.03018号

Galmiche,Didier(编辑),用分析表和相关方法进行自动推理。1997年5月13日至16日,法国蓬特-阿-穆森,TABLEAUX’97国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1227, 91-106 (1997).
MSC公司:03B35型 03B45号 68N17号 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

超级舞台。 (英语) Zbl 1427.03031号

Alferes,JoséJülio(编辑)等人,《人工智能中的逻辑》。欧洲研讨会,JELIA’96,埃沃拉,葡萄牙,1996年9月30日至10月3日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1126,1-17(1996年)。
MSC公司:03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

优化模型消除中的证明搜索。 (英语) Zbl 1412.68231号

McRobbie,M.A.(编辑)等人,《自动扣除——CADE-13》。第十三届自动扣减国际会议,美国新泽西州新不伦瑞克,1996年7月/8月。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1104, 313-327 (1996).
MSC公司:68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于表格的定理证明器(_3\mkern-4mu T^{\mkern-5mu A}\mkern-5mu P\)版本4.0。 (英语) Zbl 1412.68207号

McRobbie,M.A.(编辑)等人,《自动扣除——CADE-13》。第十三届自动扣减国际会议,美国新泽西州新不伦瑞克,1996年7月/8月。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1104, 303-307 (1996).
MSC公司:68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用KE证明分布式模态定理。 (英语) Zbl 1412.68254号

Migliolo,P.(编辑)等人,用解析表和相关方法证明定理。第五届国际研讨会,1996年5月15日至17日,意大利巴勒莫Terrasini,TABLEAUX’96。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。1071, 160-176 (1996).
MSC公司:68吨15 03B45号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

断开连接的方法。 (英语) Zbl 1412.68210号

Migliolo,P.(编辑)等人,用解析表和相关方法证明定理。第五届国际研讨会,1996年5月15日至17日,意大利巴勒莫Terrasini,TABLEAUX’96。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。1071, 110-126 (1996).
MSC公司:68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\(\mathsf{精益}T^AP \):基于精益表的定理证明。 (英语) Zbl 1433.68534号

阿兰·邦迪(编辑),《自动扣除——CADE-12》。第十二届国际会议,法国南希,1994年6月26日至7月1日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。814, 793-797 (1994).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

主字段

全部的 前3名

软件