Automation of Reasoning No. 2
Subtitle: Classical Papers on Computational Logic, 1967-1970
Publisher: Springer London, Limited
Published: 2012
Language: eng
Number of pages: 637
ISBN-13: 9783642819575
Subjects: Automatic theorem proving