Completely non-clausal theorem proving
- 31 January 1982
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 18 (1) , 67-85
- https://doi.org/10.1016/0004-3702(82)90011-x
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A Deductive Approach to Program SynthesisACM Transactions on Programming Languages and Systems, 1980
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- Ein System des Verknüpfenden SchliessensArchive for Mathematical Logic, 1956