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/ky153wh4579
Title:
An Approach to Heuristic Problem Solving and Theorem Proving in the Propositional Calculus.
Authors:
Amarel, Saul
Physical Description:
1 document ; 126 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 (1965/9); p. 126