摘要
预览
其他人正在查看的类似内容
工具书类
P.鲍姆加特纳。 内置理论的模型消除演算。 编辑H.-J.Ohlbach, 第16届德国AI会议记录(GWAI-92) ,第30-42页。 施普林格,1992年。 LNAI 671。 P.鲍姆加特纳。 线性完成:结合线性和单位结果限制。 研究报告9/93,科布伦茨大学,1993年。 P.鲍姆加特纳。 理论模型消除和无矛盾变量的改进。 在 程序。 ECAI'94年 , 1994. (出现)。 P.Baumgartner和U.Furbach。 无矛盾的模型消除及其在PTTP中的应用。 科布伦茨大学,1993年,Fachberich Informatik 12/93。 (程序CADE-12中的简短版本)。 P.Baumgartner和U.Furbach。 无矛盾的模型消除。 在 程序。 第十二届自动扣减国际会议 斯普林格出版社,1994年。 (在本卷中)。 P.Baumgartner、U.Furbach和U.Petermann。 理论推理的统一方法。 1992年科布伦茨大学Forschungsbericht 15/92。 (提交给《自动推理杂志》)。 W.W.布莱索。 初等微积分挑战题。 自动推理杂志 , 6:341–359, 1990. 曼弗雷德·科伯(Manfred Kerber)、埃里卡·梅利斯(Erica Melis)和约格·西克曼(Jörg Siekmann)。 用断言和示例进行推理。 技术报告SEKI报告SR-93-10,萨尔兰大学,Fachbereich Informatik,1993年。 D.洛夫兰。 模型消除定理证明程序的简化版本。 JACM公司 , 16(3), 1969. D.W.洛夫兰。 Near-Horn序言。 编辑J.-L.Lassez, 程序。 第四届逻辑编程国际会议 ,第456–469页。 麻省理工学院出版社,1987年。 R.Letz、J.Schumann、S.Bayerl和W.Bibel。 SETHEO:一个高性能定理证明程序。 自动推理杂志 , 8(2), 1992. D.Plaisted公司。 无矛盾的非天生子句逻辑程序设计。 自动推理杂志 , 4:287–325, 1988. D.W.Reed和D.W.Loveland。 三种Prolog扩展的比较。 逻辑程序设计杂志 , 12:25–50, 1992. G.Sutcliffe、C.Suttner和T.Yemenis。 TPTP问题库。 在 程序。 CADE-12公司 施普林格,1994年。 M.E.Stickel。 通过理论解析进行自动演绎。 自动推理杂志 , 1:333–355, 1985. M.Stickel。 Prolog技术定理证明器:由扩展Prolog编译器实现。 自动推理杂志 , 4:353–380, 1988. M.Stickel。 Prolog技术定理证明程序。 在编辑M.E.Stickel中, 程序CADE 10,LNCS 449 ,第673-675页。 斯普林格,1990年。
作者信息
作者和附属机构
编辑器信息
权利和权限
版权信息
关于本论文
引用本文
下载引文
DOI程序 : https://doi.org/10.1007/3-540-58156-1_57 出版 : 发布者名称 : 施普林格、柏林、海德堡 打印ISBN : 978-3-540-58156-7 在线ISBN : 978-3-540-48467-7 电子书包 : 斯普林格图书档案馆