Automated Theorem Proving
Subtitle: Theory and Practice
Publisher: Springer
Published: December 15, 2000
Language: eng
Number of pages: 231
ISBN-13: 9780387950754
First sentence: This book is about how computers prove theorems.