A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design.
Computer science rept.,
NEW YORK UNIV N Y COURANT INST OF MATHEMATICAL SCIENCES
Pagination or Media Count:
Contents General Introduction and Review of the Literature The Theorem Proving System The Dilemma Programming Language The Geometry Program Experimental Results and Conclusions.
- Theoretical Mathematics
- Computer Programming and Software