Automation of Reasoning
Subtitle: Classical Papers on Computational Logic, 1957-1966
Publisher: Springer London, Limited
Published: 2012
Language: eng
Number of pages: 528
ISBN-13: 9783642819544
Subjects: Automatic theorem proving