A theoretical basis for the systematic proof method
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 154-167
- https://doi.org/10.1007/bfb0022502
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Syntax-directed, semantics-supported program synthesisArtificial Intelligence, 1980
- Tautology testing with a generalized matrix reduction methodTheoretical Computer Science, 1979
- Algorithm = logic + controlCommunications of the ACM, 1979
- Non-resolution theorem provingArtificial Intelligence, 1977
- Proof TheoryPublished by Springer Nature ,1977
- Refutations by MatingsIEEE Transactions on Computers, 1976
- An approach to a systematic theorem proving procedure in first-order logicComputing, 1974
- An improved proof procedure1Theoria, 1960
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935