Picture 1 of 1

Stock photo

Andrei Voronkov Handbook of Automated Reasoning (Hardback) (UK IMPORT) - Picture 1 of 1

Handbook of Automated Reasoning Ser.: Handbook of Automated Reasoning by Alan J. A. Robinson (2001, Hardcover)

Rarewaves Canada (148277)

98.4% positive feedback

Price:

C $537.93

ApproximatelyS$ 508.49

+ $2.99 shipping

Estimated delivery Thu, 22 May - Mon, 9 Jun

Returns:

30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.

Condition:

Brand New

About this product

Product Identifiers

PublisherElsevier Science & Technology

ISBN-100444829490

ISBN-139780444829498

eBay Product ID (ePID)2030325

Product Key Features

Number of Pages996 Pages

LanguageEnglish

Publication NameHandbook of Automated Reasoning

SubjectProgramming / General, Information Theory, Intelligence (Ai) & Semantics, Computer Science, Logic, Logic Design

Publication Year2001

TypeTextbook

Subject AreaMathematics, Computers

AuthorAlan J. A. Robinson

SeriesHandbook of Automated Reasoning Ser.

FormatHardcover

Dimensions

Item Weight70.4 Oz

Item Length9.4 in

Item Width6.5 in

Additional Product Features

Intended AudienceScholarly & Professional

LCCN2001-090839

Dewey Edition21

Series Volume NumberVolume I

Number of Volumes2 vols.

IllustratedYes

Volume NumberVolume I

Dewey Decimal511.3

Table Of ContentPart I. History 1. The Early History of Automated Deduction (Martin Davis) Part II. Classical Logic. 2. Resolution Theorem Proving (Leo Bachmair, Harald Ganzinger) 3. Tableaux and Related Methods (Reiner Hähnle) 4. The Inverse Method (Anatoli Degtyarev, Andrei Voronkov) 5. Normal Form Transformations (Matthias Baaz, Uwe Egly, Alexander Leitsch) 6. Computing Small Clause Normal Forms (Andreas Nonnengart, Christoph Weidenbach) Part III. Equality and other theories. 7. Paramodulation-Based Theorem Proving (Robert Nieuwenhuis, Albert Rubio) 8. Unification Theory (Franz Baader, Wayne Snyder) 9. Rewriting (Nachum Dershowitz, David A. Plaisted) 10. Equality Reasoning in Sequent-Based Calculi (Anatoli Degtyarev, Andrei Voronkov) 11. Automated Reasoning in Geometry (Shang-Ching Chou, Xiao-Shan Gao) 12. Solving Numerical Constraints (Alexander Bockmayr, Volker Weispfenning) Part IV. Induction. 13. The Automation of Proof by Mathematical Induction (Alan Bundy) 14. Inductionless Induction (Hubert Comon)

SynopsisThis first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.

LC Classification NumberQA76.9.A96H35 2001