HEURISTIC THEOREM PROVING. I. A MACHINE PROCEDURE FOR EFFICIENT GENERATION OF SIMPLEST PROOFS IN THE PROPOSITIONAL CALCULUS. II. AN APPROACH TO PROBLEM SOLVING BY COMPUTER
Document Details
- Document Type
- Technical Report
- Publication Date
- May 30, 1962
- Accession Number
- AD0283593
Entities
People
- D.a. Walters
- S. Amarel
Organizations
- Sarnoff Corporation