Theorem Proving by Covering Expressions
- 1 July 1979
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 26 (3) , 385-400
- https://doi.org/10.1145/322139.322140
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Resolution, Refinements, and Search Strategies: A Comparative StudyIEEE Transactions on Computers, 1976
- Refutations by MatingsIEEE Transactions on Computers, 1976
- Refutation graphsArtificial Intelligence, 1976
- Complexity and related enhancements for automated theorem-proving programsComputers & Mathematics with Applications, 1976
- A Simplified Format for the Model Elimination Theorem-Proving ProcedureJournal of the ACM, 1969
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965