Automation of Reasoning 2
Subtitle: Classical Papers on Computational Logic 1967-1970
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published: December 31, 1983
Format: Hardcover
Number of pages: 637
ISBN-13: 9783540120445