- used books online -

DISCLOSURE: When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.

TITLE

SORT

change title size:

AUTHOR

SORT

change author size:

PRICE

DEALER / SITE

SORT

DESCRIPTION

change description size:

1. Handbook of Automated Reasoning (Volume II) Buy it!

Save Show this book only

title size:

Robinson, Alan J a (Editor), and Voronkov, Andrei (Editor)

author size:

USD

74.88

price size:

HPB-Red via Alibris /Alibris

dealer size:

North Holland 2001 hardcover Good Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

description size:

2. Handbook of Automated Reasoning (Volume II) Buy it!

Save Show this book only

Robinson, Alan J.A. [Editor]; Voronkov, Andrei [Editor];

author size:

USD

157.50

price size:

GridFreed via Alibris /Alibris

dealer size:

North Holland 2001-07-05 Hardcover New Size: 9x6x2; New. In shrink wrap. Looks like an interesting title!

description size:

3. Handbook of Automated Reasoning Volume II Buy it!

Save Show this book only

Robinson Alan JA. Editor; Voronkov Andrei Editor; J. A.

author size:

USD

165.37

price size:

GridFreed LLC /Biblio

dealer size:

North Holland, Date: 2001-07-05. Hardcover. New. New. In shrink wrap. Looks like an interesting title! 2001. North Holland ISBN 0444508120 9780444508126 [US]

description size:

4. Handbook of Automated Reasoning: Volume II Buy it!

Save Show this book only

Robinson, Alan J a (Editor), and Voronkov, Andrei (Editor)

author size:

USD

239.91

price size:

Booksplease via Alibris /Alibris

dealer size:

Amsterdam, Netherlands North-Holland 2001 Hard cover New. Sewn binding. 1188 p. Contains: Unspecified.

description size:

5. Handbook of Automated Reasoning: Volume II Buy it!

Save Show this book only

Robinson, Alan J a (Editor), and Voronkov, Andrei (Editor)

author size:

USD

262.78

price size:

ShopSpell via Alibris /Alibris

dealer size:

Amsterdam, Netherlands North-Holland 2001 Hard cover New. Sewn binding. 1188 p. Contains: Unspecified. Handbook of Automated Reasoning.

description size:

6. Handbook of Automated Reasoning: Volume II Buy it!

Save Show this book only

Robinson, Alan J a (Editor), and Voronkov, Andrei (Editor)

author size:

USD

275.16

price size:

Ria Christie Books via Alibris /Alibris

dealer size:

Amsterdam, Netherlands North-Holland 2001 Hard cover New. Sewn binding. 1188 p. Contains: Unspecified. Handbook of Automated Reasoning, II.

description size:

7. Handbook of Automated Reasoning: Volume II Buy it!

Save Show this book only

Robinson, Alan J a (Editor), and Voronkov, Andrei (Editor)

author size:

USD

313.70

price size:

Alibris /Alibris

dealer size:

Amsterdam, Netherlands North-Holland 2001 Hard cover New. Sewn binding. 1188 p. Contains: Unspecified. Handbook of Automated Reasoning, II.

description size:

8. HANDBK OF AUTOMATED REASONING Buy it!

Save Show this book only

Robinson, Alan|Voronkov, Andrei

author size:

USD

341.81

price size:

moluna /ZVAB

dealer size:

ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: Elsevier Science] Hardcover This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.Pa.
[Greven, Germany] [Publication Year: 2001]