Automation of Reasoning 1
Subtitle: Classical Papers on Computational Logic 1957-1966
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published: December 31, 1983
Format: Hardcover
Number of pages: 525
ISBN-13: 9783540120438