Tautology testing with a generalized matrix reduction method
- 31 December 1979
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 8 (1) , 31-44
- https://doi.org/10.1016/0304-3975(79)90054-9
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Towards feasible solutions of the tautology problemAnnals of Mathematical Logic, 1976
- A Human Oriented Logic for Automatic Theorem-ProvingJournal of the ACM, 1974
- Computer proofs of limit theoremsArtificial Intelligence, 1972