The Unit Proof and the Input Proof in Theorem Proving
- 1 January 1970
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A Formal Deductive Problem-Solving SystemJournal of the ACM, 1968
- Resolution With MergingJournal of the ACM, 1968
- The Concept of Demodulation in Theorem ProvingJournal of the ACM, 1967
- Automatic Theorem Proving With Renamable and Semantic ResolutionJournal of the ACM, 1967
- A review of automatic theorem-provingProceedings of Symposia in Applied Mathematics, 1967
- Theorem-Proving for Computers: Some Results on Resolution and RenamingThe Computer Journal, 1966
- Efficiency and Completeness of the Set of Support Strategy in Theorem ProvingJournal of the ACM, 1965
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- The unit preference strategy in theorem provingPublished by Association for Computing Machinery (ACM) ,1964
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960