An introduction to automated deduction
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 75-132
- https://doi.org/10.1007/bfb0022681
Abstract
No abstract availableKeywords
This publication has 41 references indexed in Scilit:
- Refutational theorem proving using term-rewriting systemsArtificial Intelligence, 1985
- Properties of substitutions and unificationsJournal of Symbolic Computation, 1985
- Complexity of matching problemsPublished by Springer Nature ,1985
- Basic features and development of the critical-pair/completion procedurePublished by Springer Nature ,1985
- Krypton: A Functional Approach to Knowledge RepresentationComputer, 1983
- Automated Theorem ProvingPublished by Springer Nature ,1982
- On Matrices with ConnectionsJournal of the ACM, 1981
- Theorem Proving via General MatingsJournal of the ACM, 1981
- Proving Theorems with the Modification MethodSIAM Journal on Computing, 1975
- The Unit Proof and the Input Proof in Theorem ProvingJournal of the ACM, 1970