Automated Theorem Proving

by Wolfgang Bibel

Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to reflect the state of the art in the field. The most significant change is in the quality of the layout including the removal of a number of inaccuracies and typing errors. R. Caferra, E. Eder, F. van der Linden, and J. Muller have caught vanous minor...

• Format: Paperback
• Language: English
• ISBN: 3528185201
• ISBN13: 9783528185206
• Release Date: January 1987
• Publisher: Vieweg+teubner Verlag
• Length: 289 Pages
• Weight: 1.07 lbs.
• Dimensions: 0.6" x 6.7" x 9.6"