COMPUTER PROOFS OF LIMIT THEOREMS

[1] SPLITTING AND REDUCTION HEURISTICS IN AUTOMATIC THEOREM PROVING [J]. ARTIFICIAL INTELLIGENCE, 1971, 2 (01) : 55 - 77

[2] REF-ARF - SYSTEM FOR SOLVING PROBLEMS STATED AS PROCEDURES [J]. ARTIFICIAL INTELLIGENCE, 1970, 1 (1-2) : 27 - 120

[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]. JOURNAL OF THE ACM, 1965, 12 (01) : 23 - &

[1] SPLITTING AND REDUCTION HEURISTICS IN AUTOMATIC THEOREM PROVING [J]. ARTIFICIAL INTELLIGENCE, 1971, 2 (01) : 55 - 77

[2] REF-ARF - SYSTEM FOR SOLVING PROBLEMS STATED AS PROCEDURES [J]. ARTIFICIAL INTELLIGENCE, 1970, 1 (1-2) : 27 - 120

[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]. JOURNAL OF THE ACM, 1965, 12 (01) : 23 - &