Artificial Intelligence, Volume 1
Volume 1, Number 1/2, Spring 1970
Zohar Manna: The Correctness of Nondeterministic Programs. 1-26- Richard Fikes: REF-ARF: A System for Solving Problems Stated as Procedures. 27-120
- Donald A. Waterman: Generalization Learning Techniques for Automating the Learning of Heuristics. 121-170
Volume 1, Number 3, Fall 1970
- Paul C. Gilmore: An Examination of the Geometry Theorem Machine. 171-187
- B. Meltzer: The Semantics of Induction and the Possibility of Complete Systems of Inductive Inference. 189-192
- Ira Pohl: Heuristic Search Viewed as Path Finding in a Graph. 193-204
Volume 1, Number 4, December 1970
- Ugo Montanari: Heuristically Guided Search and Chromosome Matching. 227-245
- Chin-Liang Chang: Renamable Paramodulation for Automatic Theorem Proving with Equality. 247-256
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team