- used books online - 0

Home Book reviews Contact

☰

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.

Please share to

29 titles, showing 1-29 sort by PRICE ASC.

Please follow us on

AddALL Facebook page

TITLE

SORT

change title size:

AUTHOR

SORT

change author size:

PRICE

DEALER / SITE

SORT

DESCRIPTION

change description size:

1. Handbook of Automated Reasoning Buy it!

Save Show this book only

title size:

Alan J.A. Robinson et Andrei Voronkov

author size:

USD

66.31

price size:

Ammareal /ZVAB

dealer size:

ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
[Morangis, France] [Publication Year: 2001]

description size:

2. Handbook of Automated Reasoning Buy it!

Save Show this book only

Alan J.A. Robinson et Andrei Voronkov

author size:

USD

73.72

price size:

Ammareal /AbebooksFR

dealer size:

ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
[Morangis, France] [Publication Year: 2001]

description size:

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

N/A

author size:

USD

74.68

price size:

HPB-Red /Abebooks

dealer size:

ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover 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!
[Dallas, TX, U.S.A.] [Publication Year: 2001]

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

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:

5. Handbook of Automated Reasoning Buy it!

Save Show this book only

Alan JA. Robinson et Andrei Voronkov J. A.

author size:

USD

82.39

price size:

AMMAREAL /Biblio

dealer size:

North Holland, Date: 2001. Hardcover. Very Good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations. 2001. North Holland ISBN 0444508120 9780444508126 [FR]

description size:

6. Handbook Of Automated Reasoning Vol.11 Buy it!

Save Show this book only

ROBINSON

author size:

USD

147.53

price size:

Basi6 International /Abebooks

dealer size:

ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
[Irving, TX, U.S.A.] [Publication Year: 2001]

description size:

7. 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:

8. HANDBOOK OF AUTOMATED REASONING Buy it!

N/A

author size:

USD

157.50

price size:

BennettBooksLtd /Abebooks

dealer size:

ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover New. In shrink wrap. Looks like an interesting title! 5.47
[North Las Vegas, NV, U.S.A.] [Publication Year: 2001]

description size:

9. Handbook of Automated Reasoning Vol.11 Buy it!

Save Show this book only

Robinson

author size:

USD

162.05

price size:

Basi6 International via Alibris /Alibris

dealer size:

New, US edition. Satisfaction guaranteed! !

description size:

10. 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:

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

Save Show this book only

Alan J.A. Robinson, Andrei Voronkov

author size:

USD

206.44

price size:

Chiron Media /AbebooksUK

dealer size:

ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland 2001-06-21] Hardcover
[Wallingford, United Kingdom] [Publication Year: 2001]

description size:

12. Handbook of Automated Reasoning Volume II Buy it!

Save Show this book only

Robinson, Alan J.A.

author size:

USD

212.11

price size:

Books2anywhere via Alibris /Alibris

dealer size:

Elsevier Science 6/21/2001 12: 00: 00 AM Hardcover PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from US in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the US.

description size:

13. Handbook of Automated Reasoning Volume II Buy it!

Save Show this book only

Robinson, Alan J.A.

author size:

USD

224.74

price size:

Paperbackshop International via Alibris /Alibris

dealer size:

Elsevier Science 6/21/2001 12: 00: 00 AM Hardcover PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from US in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the US.

description size:

14. Handbook of Automated Reasoning Volume II Buy it!

Save Show this book only

Robinson, Alan J.A.

author size:

USD

231.45

price size:

Paperbackshop via Alibris /Alibris

dealer size:

Elsevier Science 6/21/2001 12: 00: 00 AM Hardcover New Book. Shipped from US in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the US.

description size:

15. 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:

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

Save Show this book only

Robinson J. A. Editor/ Robinson Alan/ Voronkov Andrei Editor

author size:

USD

247.51

price size:

Revaluation Books /Biblio

dealer size:

North-Holland, Date: 2001. Hardcover. New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches. 2001. North-Holland ISBN 0444508120 9780444508126 [GB]

description size:

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

Save Show this book only

Robinson, J. A. (Editor)/ Robinson, Alan/ Voronkov, Andrei (Editor)

author size:

USD

251.85

price size:

Revaluation Books /AbebooksUK

dealer size:

ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North-Holland] Hardcover 1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock.
[Exeter, United Kingdom] [Publication Year: 2001]

description size:

18. 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:

19. 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:

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

Save Show this book only

Robinson, J. A. (Editor)/ Robinson, Alan/ Voronkov, Andrei (Editor)

author size:

USD

276.76

price size:

Revaluation Books via Alibris /Alibris

dealer size:

North-Holland 2001 Hardcover New 1st edition. 2122 pages. 9.50x6.75x2.00 inches.

description size:

21. Handbook of Automated Reasoning Buy it!

Save Show this book only

A. Robinson

author size:

USD

276.84

price size:

Ria Christie Collections /Biblio

dealer size:

Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Handbook of Automated Reasoning. ISBN 0444508120 9780444508126 [GB]

description size:

22. 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:

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

N/A

author size:

USD

320.46

price size:

Lucky's Textbooks /Abebooks

dealer size:

ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover
[Dallas, TX, U.S.A.] [Publication Year: 2001]

description size:

24. 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]

Show/Hide image

description size:

25. Handbook of Automated Reasoning, Volume II Buy it!

N/A

author size:

USD

349.32

price size:

Mispah books /AbebooksUK

dealer size:

ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover Like New
[Redhill, SURRE, United Kingdom] [Publication Year: 2001]

description size:

26. HANDBK OF AUTOMATED REASONING Buy it!

Save Show this book only

Robinson, Alan|Voronkov, Andrei

author size:

USD

379.97

price size:

moluna /AbebooksDE

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]

Show/Hide image

description size:

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

N/A

author size:

USD

380.69

price size:

Books Unplugged /Abebooks

dealer size:

ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 5.47
[Amherst, NY, U.S.A.] [Publication Year: 2001]

description size:

28. 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

399.00

price size:

SOUTHAUSTRALIANBOOKS /Biblio

dealer size:

North Holland. Hardcover. New. 9x6x2. North Holland ISBN 0444508120 9780444508126 [US]

description size:

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

N/A

author size:

USD

431.91

price size:

GF Books, Inc. /Abebooks

dealer size:

ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover Book is in NEW condition. 5.47
[Hawthorne, CA, U.S.A.] [Publication Year: 2001]

description size:

DISCLOSURE: When you use one of our links to make a purchase, we may earn a commission at no extra cost to you.
As an Amazon Associate, AddALL earn commission from qualifying Amazon purchases.

TOO Many Search Results? Refine it!

Exclude: (what you don't want) Author: Title: Desc:

Include: (what you want)

Search Results Sort By:

[Privacy policy | Random quotes | Link to us | About us ]
Copyright © 1998-, Addall.com Pte Ltd. All rights reserved.

240514155133927372