Complete demodulation for automatic theorem proving
- 1 January 1976
- journal article
- Published by Elsevier in Computers & Mathematics with Applications
- Vol. 2 (2) , 161-179
- https://doi.org/10.1016/0898-1221(76)90028-6
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Complexity and related enhancements for automated theorem-proving programsComputers & Mathematics with Applications, 1976