Contact Us

The Edward A. Feigenbaum Papers Work in artificial intelligence and computer science at Stanford University

An Approach to Heuristic Problem Solving and Theorem Proving in the Propositional Calculus.

purl.stanford.edu/fr177hk5200
Title:
An Approach to Heuristic Problem Solving and Theorem Proving in the Propositional Calculus.
Authors:
Amarel, Saul
Physical Description:
1 document ; 98 pages
Document Type:
Paper
Series:
1986-052
Box:
54
Folder:
11
Folder Name:
Amarel, Saul 1966-68
Location:
Call Number: SC0340, Accession: 1986-052, Box: 54, Folder: 11
Notes:
Paper (1967); p. 98