COMPUTER PROOFS OF LIMIT THEOREMS

被引：27

作者：

BLEDSOE, WW

BOYER, RS

HENNEMAN, WH

BOYER, RS

HENNEMAN, WH

机构：

[1] UNIV TEXAS,AUSTIN,TX

[2] MIT,CAMBRIDGE,MA

来源：

关键词：

D O I：

10.1016/0004-3702(72)90041-0

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：27 / 60

页数：34

共 7 条

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

BLEDSOE, WW .

[2] REF-ARF - SYSTEM FOR SOLVING PROBLEMS STATED AS PROCEDURES [J].

FIKES, RE .

[3]

HAO W, IBM J RES DEV, V4, P2

[4]

HEWITT C, 1970, AI168 MIT MEM

[5]

KLEENE SC, 1952, INTRO METAMATHEMATIC

[6]

PRAWITZ D, THEORIA, V26, P102

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

ROBINSON, JA .