Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Theorem Proving
Wolfgang Bibel
€ 123.04
FREE Delivery in Ireland
Description for Automated Theorem Proving
Paperback. Series: Kunstliche Intelligenz. BIC Classification: UYA. Dimension: 244 x 170. Weight in Grams: 597.
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 errors. P. Haddawy and S.T. Pope have provided many stilistic improvements of the English text. Last not least, A. ... Read more
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 errors. P. Haddawy and S.T. Pope have provided many stilistic improvements of the English text. Last not least, A. ... Read more
Product Details
Format
Paperback
Publication date
1987
Publisher
Vieweg+Teubner Verlag
Language
English
Condition
New
Series
Kunstliche Intelligenz
Number of Pages
289
Place of Publication
Weisbaden, Germany
ISBN
9783528185206
SKU
V9783528185206
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Theorem Proving