Accession Number : AD0283593

Title :   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

Corporate Author : DAVID SARNOFF RESEARCH CENTER PRINCETON N J

Personal Author(s) : WALTERS,D.A. ; AMAREL,S.

Report Date : 30 MAY 1962

Pagination or Media Count : 1

Descriptors :   *ALGEBRAS, *CODING, *COMPUTER LOGIC, *DIGITAL COMPUTERS, *MATHEMATICAL LOGIC, *PROGRAMMING (COMPUTERS)

Distribution Statement : APPROVED FOR PUBLIC RELEASE