詹姆斯·斯拉格尔（James R.Slagle）。;Deena A.科尼弗。 在AN/OR树中查找解决方案证明并使用重复目标。 （英语） 兹比尔0226.68043 信息科学。 3, 315-342 (1971). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于三文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 68-04 计算机科学相关问题的软件、源代码等 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Slagle}和\textit{D.A.Koniver}，《信息科学》。315--342（1971；Zbl 0226.68043） 全文： 内政部 参考文献： [1] 索尔·阿马雷尔（Saul Amarel），《计算机的问题表示和目标导向程序》（On the representation of problems and goal directed procedures for computers），（梅萨罗维奇（Mesarovic），医学博士；巴内基（Banerji，R.B.），《非数值问题解决的理论方法》（1970），施普林格-弗拉格出版社：纽约施普林格出版社），179·Zbl 0209.18602号 [2] 乔治、W·贝勒、赫伯特、A·西蒙，国际象棋配对组合程序。AFIPS 1966春季联合计算会议; 乔治·W·贝勒、赫伯特·A·西蒙、，国际象棋配对组合程序。AFIPS 1966春季联合计算会议 [3] Black，Fischer，演绎式问题回答系统，（哈佛大学工程与应用物理系应用数学博士论文（1964）：纽约哈佛大学工程和应用物理系） [4] Darlington，Jared L.，用等式替换和数学归纳法自动证明定理，（Michie，D.，《机器智能》，3（1968），美国爱思唯尔出版社），113-127·Zbl 0214.02601号 [5] 乔治·W·恩斯特。；Allen Newell，Generality and GPS，（博士论文（1967），卡内基理工学院：纽约卡内基技术学院），1月·Zbl 0187.13302号 [6] （Feigenbaum，E.；Feldman，J.，《计算机与思维》（1963），麦格劳-希尔：宾夕法尼亚州麦格劳–希尔-匹兹堡）·Zbl 0135.18305号 [7] Gelernter，Herbert，《几何验证机的实现》（Proc.International Conference on Information Processing，1959），（再版于[6]）·Zbl 0114.06901号 [8] Herbert Gelernter、J.R.Hansen和D.W.Loveland，几何定理机器的经验探索，程序。1960年西方联合计算机会议; Herbert Gelernter、J.R.Hansen和D.W.Loveland，几何定理机器的经验探索，程序。1960年西方联合计算机会议 [9] C.Green和Bertram Raphael，《定理证明技术在问答系统中的应用》，程序。1968年ACM全国会议; C.Green和Bertram Raphael，理论证明技术在问答系统中的应用，程序。1968年ACM全国会议 [10] 理查德·查顿·李（Char-Tung Lee，Richard），《完整性定理和从给定公理中发现定理的计算机程序》（1967年，加利福尼亚大学工程博士学位论文：加利福尼亚大学纽约分校） [11] McCarthy，J.（《LISP 1.5程序员手册》（1962年8月），麻省理工学院计算中心和电子学研究实验室：麻省理学院计算中心与电子伯克利研究实验室） [12] Meltzer，Bernard，《计算机定理证明：关于分辨率和重命名的一些结果》，Compute。J.，8341-343（1966年）·Zbl 0158.26004号 [13] 阿伦·纽厄尔（Allen Newell）；肖，J.C。；西蒙·赫伯特（Simon，Herbert），《解决一般问题的各种智能学习》（Yovits，M.C.；Cameron，S.P.，《自组织系统》（1960），佩加蒙出版社：马萨诸塞州剑桥佩加蒙出版公司），153-189 [14] Allen Newell，《问题解决计划中基本组织的一些问题》（Yovits，M.C.等，《自组织系统1962》（1962），《斯巴达书籍：斯巴达图书》，纽约州埃尔姆斯福德），393 [15] Nilsson，Nils J.，《搜索问题解决和游戏树以获得最低成本解决方案》（IFIP大会（1968）），（H125-H130） [16] 罗斯·昆兰（Ross Quinlan，J.），《经验聚集问题解决系统》（The Experience-Gathering Problem-Solving System），（技术报告No-68-1-03（1968），华盛顿大学计算机科学小组：华盛顿大学计算机科学小组），5月16日 [17] 乔治·罗宾逊（George Robinson）；Wos，Lawrence，《具有等式的一阶理论中的Parmodulation和定理证明》，（Meltzer，B.；Michie，D.，《机器智能》，4（1969），美国爱思唯尔：美国爱思惟尔西雅图），135-150·Zbl 0219.68047号 [18] 乔治·罗宾逊（George A.Robinson）。；劳伦斯·T·沃斯。；丹尼尔·卡森（Daniel F.Carson），《一些定理证明策略及其实施》（《技术备忘录》第72号（1964年），阿贡国家实验室应用数学部：纽约阿贡国家实验所应用数学部），6月26日 [19] Robinson，J.A.，《基于分辨原理的面向机器逻辑》，J.ACM，12，23-41（1965年1月）·兹伯利0139.12303 [20] Robinson，J.A.，《超分辨率自动演绎》，实习生。J.计算。数学。，1, 227-234 (1965) ·Zbl 0158.26003号 [21] Robinson，J.A.，《自动定理证明综述》（应用数学年度研讨会，19（1966））·Zbl 0174.29202号 [22] Robinson，J.A.，《机械定理证明概述》（Mesarovic，M.D.；Banerji，R.B.，《非数值问题解决的理论方法》（1970），Springer-Verlag），2-20·Zbl 0195.03001号 [23] Sandewall，Erik J.，《启发式搜索的概念和方法》，（国际人工智能联合会议（1969年），Proc.International Joint Conference on Artificial Intelligence（1969）） [24] James R.Slagle，《解决新生微积分中符号积分问题的启发式程序》，J.ACM，10507-520（1963年10月）·Zbl 0113.32801 [25] 詹姆斯·斯拉格（James R.Slagle），《一个多用途的启发性学习理论程序》（Proc.IFIP Congress（1965））·Zbl 0173.01704号 [26] James R.Slagle，《演绎式问题回答程序的实验》，ACM委员会，8792-798（1965年12月） [27] James R.Slagle，《具有可重命名和语义分辨率的自动定理证明》，J.ACM，14687-697（1967年10月）·兹比尔0157.02405 [28] James R.Slagle，《启发式搜索程序》（Mesarovic，M.D.；Banerji，R.B.，《非数值问题解决的理论方法》（1970），Springer-Verlag:Springer-Verlag纽约），246-273·Zbl 0208.19802号 [29] James R.Slagle，（低谓词演算中分辨率的插值定理（1969），美国国立卫生研究院计算机研究与技术部启发式实验室：纽约国立卫生研究所计算机研究与科技部启发式实验） [30] 詹姆斯·斯拉格尔（James R.Slagle）。；菲利普·伯斯基（Philip Bursky），《用多用途、理论证明的启发式程序进行实验》，J.ACM，第15页，第85-99页（1968年1月）·兹伯利0159.21202 [31] 詹姆斯·斯拉格尔（James R.Slagle）。；Chang，C.L。；Lee，Richard C.T.，《结果发现中语义解析的完备性定理》，（国际人工智能联合会议（1969年）Proc.International Joint Conference on Artificial Intelligence（1969）） [32] 詹姆斯·斯拉格尔（James R.Slagle）。；卡尔·D·法雷尔（Carl D.Farrell），《多用途启发式程序的自动学习实验》（Comm.ACM），14（1971），发表于·Zbl 0214.42602号 [33] Fred M.Tonge，《使用启发式概率组合的装配线平衡》，《管理科学》。，第727-735号第11页（1965年5月） [34] 理查德·沃丁格（Richard J.Waldinger）。；Lee，Richard C.T.，《PROW:迈向自动程序编写的一步》，（国际人工智能联合会议（1969年），Proc.International Joint Conference on Artificial Intelligence（1969）） [35] Wos，Lawrence T.，PG问题目录（1965），未出版 [36] L.Wos、D.Carson和G.Robinson，定理证明中的单位偏好策略，程序。1964年秋季联合计算机会议; L.Wos、D.Carson和G.Robinson，定理证明中的单位偏好策略，程序。1964年秋季联合计算机会议·兹伯利0135.18306 [37] 沃斯，L。；罗宾逊，G.A。；Carson，D.F.，定理证明中支持策略集的效率和完备性，J.ACM，12536-541（1965年10月）·Zbl 0135.18401号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。