NON-RESOLUTION THEOREM PROVING

被引：77

作者：

BLEDSOE, WW ^{[1
]}

机构：

[1] UNIV TEXAS,DEPT MATH,AUSTIN,TX 78712

来源：

关键词：

D O I：

10.1016/0004-3702(77)90012-1

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：1 / 35

页数：35

共 109 条

[81]

PIRSIG RM, ZEN ART MOTORCYCLE M, P106

[82]

Plotkin G. D., 1972, Machine intelligence 7, P73

[83]

PRAWITZ D, 1960, THEORIA, V25, P102

[84]

REBOH R, 1973, 81 STANF RES I AI CT

[85]

REITER R, 1976, IEEE T COMPUT, V25, P328, DOI 10.1109/TC.1976.1674613

[86]

REITER R, 1975, JUN IEEE THEOR PROV

[87]

ROBINSON G, 1970, 1968 P IRIA S AUT DE, P276

[88]

RULIFSON JR, 1972, CA13 STANF RES I AI

[89]

SHOSTAK RS, 1975, COMPLETENESS SUPINF

[90] BREADTH-FIRST SEARCH - SOME SURPRISING RESULTS [J].

SIKLOSSY, L ;

RICH, A ;

MARINOV, V .