An Approach to Heuristic Problem Solving and Theorem Proving in the Prepositional Calculus
- 31 December 1967
- book chapter
- Published by University of Toronto Press Inc. (UTPress)
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: