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

Descriptive Note:

Corporate Author:

DAVID SARNOFF RESEARCH CENTER PRINCETON N J

Personal Author(s):

Report Date:

1962-05-30

Pagination or Media Count:

1.0

Abstract:

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE