Skip to main content

CURRENTLY SOLD OUT

Automated Theorem Proving by Wolfgang Bibel (Paperback, 1987)

About this product

About this product

Product Information

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. Bentrup and W. Fischer have produced the beautiful layout. The extensive work of typesetting was financally supported within ESPRIT pro ject 415. Munchen, September 1986 W. Bibel PREFACE Among the dreams of mankind is the one dealing with the mechanization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity. On the other hand, the incredi ble advances in computer technology let it appear as a real possibility.

Product Identifiers

Publisher
Springer Fachmedien Wiesbaden
ISBN-13
9783528185206
eBay Product ID (ePID)
106087702

Product Key Features

Author
Wolfgang Bibel
Publication Name
Automated Theorem Proving
Format
Paperback
Language
English
Subject
Computer Science, Mathematics
Publication Year
1987
Type
Textbook
Number of Pages
289 Pages

Dimensions

Item Height
244mm
Item Width
170mm
Item Weight
597g

Additional Product Features

Title_Author
Wolfgang Bibel
Series Title
Kunstliche Intelligenz
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Maps of Meaning: The Architecture of Belief by Jordan B. Peterson (1999, Paperback)
5.0 out of 5 stars based on 10 product ratings
AU $30.50 New
---- Used
Eduqas GCSE (9-1) Religious Studies Route B: Catholic Christianity and Judaism by Deirdre Cleary, Andrew Barron, Joy White, Patrick Harrison (Paperback, 2017)
No ratings or reviews yet.
AU $100.97 New
---- Used
Silent Spring by Rachel Carson (Paperback, 2000)
4.3 out of 5 stars based on 3 product ratings
AU $24.95 New
---- Used
Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used
The Ethnic Cleansing of Palestine by Ilan Pappe (Paperback, 2007)
5.0 out of 5 stars based on 1 product rating
AU $24.95 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

The Australian Native Bee Hive Book: Keeping Stingless Sugarbag OATH Tim Heard
AU $31.98
Trending at AU $35.57
Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A
AU $19.95
Trending at AU $20.66
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.14
George Hrabovsky Leonard Susskind Classical Mechanics (Paperback)
AU $27.49
Trending at AU $31.59
Havard's Nursing Guide to Drugs
AU $74.99
Trending at AU $76.74
The Indoctrinated Brain: How to Successfully Fend Off the Global Attack on Your
AU $49.95
Trending at AU $57.84

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like