摘要
1 ANDERSON，R.E-resolution的完整性结果。 AFIPS春季联合计算机会议记录。 弗吉尼亚州雷斯顿AFIPS出版社，1970年，652-656年。]] 谷歌学者 
2 BOYER，R.S.和MOORE，J.S.《计算逻辑》。 学术出版社，佛罗里达州奥兰多，1979年。]] 谷歌学者 三 BRAND，D.用修正法证明定理。 SlAM J.计算。 4, 2 (1975), 412-430.]] 谷歌学者 4 CHANG，C.L.和LEE，R.C.符号逻辑和机械定理证明。 学术出版社，佛罗里达州奥兰多，1973年。]] 谷歌学者 5 DIGRICOLI，V.统一与平等解决方案。 纽约大学博士论文，纽约州纽约市，1983年。]] 谷歌学者 6 KOWALSKI，R.问题解决逻辑。 北荷兰，纽约，1979年。]] 谷歌学者 7 LOVELAND，D.W.自动化定理证明：逻辑基础。 1978年，纽约，北荷兰德。]] 谷歌学者 8 MANNA，Z.和WALDINGER，R.程序综合的演绎方法。 ACM事务处理。 掠夺。 语言系统。 第2、1页（1980年1月），第90-121页。]] 谷歌学者 9 MANNA，Z.和WALDINGER，R.统一算法的演绎综合。 科学。 计算。 掠夺。 1 ( 1981 ), 5-48.]] 谷歌学者 10 MANNA，Z.和WALDINGER，R.程序综合演绎中的特殊关系。 技术代表计算。 科学。 加利福尼亚州斯坦福大学系和加利福尼亚州门罗公园SRI国际人工智能中心，1982年3月。]] 谷歌学者 11 《计算机程序设计的逻辑基础》，第1卷：演绎推理。 Addison-Wesley，马萨诸塞州雷丁，1985年。]] 谷歌学者 12 MANNA，Z.和WALDINGER，R.《计算机编程的逻辑基础》，第2卷：演绎技术。 Addison-Wesley，Reading，MA，待出版。]] 谷歌学者 13 MANNA，Z.和WALDINGER，R.《二元搜索范式的起源》，载于《第九届人工智能国际联合会议论文集》（加州洛杉矶，8月18-23日）。 Morgan-Kaufman出版社，加利福尼亚州洛斯阿尔托斯，1985年，第222-224页。]] 谷歌学者 14 MORRIS，J.B.E-决议：决议的扩展，包括平等关系。 《国际人工智能联合会议记录》（5月7日至9日，华盛顿特区）。 1969年，第287-294页。]] 谷歌学者 15 MURRAY，N.V.完全非子句定理证明。 Artif智能。 18，1（1982），67-85.]] 谷歌学者 16 ROBtNSON，J.A.基于解析原理的面向机器的逻辑。 J.ACM 12，I（1965年1月），23-41。]] 谷歌学者 17 罗姆森，J.A.Logic。 “《形式与功能》，纽约北荷兰德，1979年。]] 谷歌学者 18 STICKEL，M.E.非子句连接图解析理论证明程序。 《全国人工智能会议论文集》（宾夕法尼亚州匹兹堡，8月18-20日）。 美国人工智能协会，加利福尼亚州门洛帕克，1982年，第229-233页。]] 谷歌学者 19 TRAUGOTT，J.排序算法的演绎综合。 技术代表计算。 科学。 斯坦福大学系，加利福尼亚州斯坦福（即将出版）。]] 谷歌学者 20 Wos，L.和ROBINSON，G.在一阶等式理论中的Paramodulation和定理证明。 《机器智能》第4卷，B.Meltzer和D.Michie，美国爱思唯尔编辑，纽约，1969年，第135-150页。]] 谷歌学者
建议
评论
