摘要
预览
工具书类
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.Bledsoe。 初等微积分挑战题。 自动推理杂志 , 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扩展的比较。 逻辑程序设计杂志 1992年12月25日至50日。 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 电子书包 以下为： 斯普林格图书档案馆