Computer proofs of limit theorems

Artificial Intelligence

Volumn 3, Issue C, 1972, Pages 27-60

  Bledsoe, W W ^a   Boyer, R S ^a   Henneman, W H ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; MATHEMATICAL TECHNIQUES; SYSTEMS SCIENCE AND CYBERNETICS - HEURISTIC PROGRAMMING;

CALCULUS;

AUTOMATA THEORY;

EID: 0015307931     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(72)90041-0     Document Type: Article

References (7)

1. Splitting and Reduction Heuristics in Automatic Theorem Proving
2. A Machine-Oriented Logic Based on the Resolution Principle
3. Planner
4. An Improved Proof Procedure
5. REF-ARF: a system for solving problems stated as procedures