Proving Theorems with the Modification Method
- 1 December 1975
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 4 (4) , 412-430
- https://doi.org/10.1137/0204036
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965