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 条

[1]

ABRAHAMS PW, 1966, PROGRAMMING LANGUAGE, P137

[2]

ALLEN JR, 1970, MACH INTELL, V5, P321

[3]

[Anonymous], SYMBOLIC LOGIC MECHA

[4]

BALLANTYNE AJ, TO BE PUBLISHED

[5]

BALLANTYNE AM, 1975, IMPLEMENTATION DERIV

[6]

BALLANTYNE AM, 1975, ATP23 U TEX AUST MAT

[7]

BALLANTYNE M, 1975, ATP24 U TEX AUST MAT

[8]

BALLANTYNE M, 1973, ATP7 U TEX AUST MATH

[9]

BIBEL W, 1974, 7412 TECH U BER

[10] SPLITTING AND REDUCTION HEURISTICS IN AUTOMATIC THEOREM PROVING [J].

BLEDSOE, WW .