Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science)
Publisher: Springer
Published: Oct 03, 1980
Number of pages: 242
ISBN-13: 9783540102311