Complexity and related enhancements for automated theorem-proving programs
- 1 January 1976
- journal article
- Published by Elsevier in Computers & Mathematics with Applications
- Vol. 2 (1) , 1-16
- https://doi.org/10.1016/0898-1221(76)90002-x
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- An implementation of hyper-resolutionComputers & Mathematics with Applications, 1975
- The Unit Proof and the Input Proof in Theorem ProvingPublished by Springer Nature ,1970
- The Concept of Demodulation in Theorem ProvingJournal of the ACM, 1967
- What is Elementary Geometry?Published by Elsevier ,1959