An examination of the geometry theorem machine
The semantics of induction and the possibility of complete systems of inductive inference
Heuristic search viewed as path finding in a graph
Scene analysis using regions
Heuristically guided search and chromosome matching
Renamable paramodulation for automatic theorem proving with equality
Resolution graphs
Advanced study institute on artificial intelligence and heuristic programming
Errata
Author index