The Concept of Demodulation in Theorem Proving

The Concept of Demodulation in Theorem Proving

Wos, Lawrence, Robinson, George A., Carson, Daniel F., Shalla, Leon
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
14
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/321420.321429
Date:
October, 1967
File:
PDF, 789 KB
english, 1967
Conversion to is in progress
Conversion to is failed