Replacement Rules with Definition Detection
- 1 January 2000
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- RRTP - A Replacement Rule Theorem ProverJournal of Automated Reasoning, 1997
- Semantically guided first-order theorem proving using hyper-linkingPublished by Springer Nature ,1994
- SET-VARJournal of Automated Reasoning, 1993
- Term rewriting: Some experimental resultsJournal of Symbolic Computation, 1991
- The automation of syllogisticJournal of Automated Reasoning, 1990
- Otter 2.0Lecture Notes in Computer Science, 1990
- A Structure-preserving Clause Form TranslationJournal of Symbolic Computation, 1986
- Non-resolution theorem provingArtificial Intelligence, 1977
- A machine program for theorem-provingCommunications of the ACM, 1962
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960