FINDING RESOLUTION PROOFS AND USING DUPLICATE GOALS IN AND/OR TREES

被引：4

作者：

SLAGLE, JR

KONIVER, DA

机构：

来源：

关键词：

D O I：

10.1016/S0020-0255(71)80013-0

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：315 / &

相关论文

共 37 条

[1]

AMAREL S, 1970, THEORETICAL APPROACH, P179

[2]

BAYLOR GW, 1966 P AFIPS SPRING, P431

[3]

BLACK FS, 1964, THESIS HARVARD U

[4]

DARLINGTON JL, 1968, MACH INTELL, V3, P113

[5]

ERNST GW, 1967, THESIS CARNEGIE I TE

[6]

Feigenbaum E.A., 1963, COMPUT THOUGHT

[7]

GELERNTER H, 1960 P WEST JOINT CO, P143

[8]

GELERNTER H, 1959, P INT C INFORMATION

[9]

GREEN C, 1968 P ACM NAT C, P169

[10]

MCCARTHY J, 1962, LISP 1 5 PROGRAMMERS