A LINEAR FORMAT FOR RESOLUTION WITH MERGING AND A NEW TECHNIQUE FOR ESTABLISHING COMPLETENESS

被引：42

作者：

ANDERSON, R

BLEDSOE, WW

机构：

来源：

关键词：

D O I：

10.1145/321592.321603

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：525 / &

共 12 条

[1]

ANDERSON R, 1970, SPR AFIPS JOINT COMP, V36, P653

[2] RESOLUTION WITH MERGING [J].

ANDREWS, PB .

[3]

LOVELAND DW, TO BE PUBLISHED

[4]

LUCKHAM D, 1968, DEC IRIA S AUT DED V

[5]

MORRIS JB, 1969, MAY P INT JOINT C AR, P287

[6]

RAPHAEL B, 1969, SIGART NEWSLETTER, P22

[7]

Robinson G., 1969, MACH INTELL, V4, P135

[8]

ROBINSON GA, 1969, J SYMBOLIC LOGIC, V34, P159

[9]

ROBINSON JA, 1965, INT J COMPUT MATH, V1, P227

[10] A MACHINE-ORIENTED LOGIC BASED ON RESOLUTION PRINCIPLE [J].

ROBINSON, JA .