Automation of Reasoning
Subtitle: Classical Papers on Computational Logic, 1967-1970
Publisher: Springer
Published: March 1983
Number of pages: 637
ISBN-13: 9780387120447