1. HANDBK OF AUTOMATED REASONING
by Robinson, Alan|Voronkov, Andrei 
Price: USD 379.97
Dealer: AbebooksDE, moluna
Description: 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]  

2. HANDBK OF AUTOMATED REASONING
by Robinson, Alan|Voronkov, Andrei 
Price: USD 341.81
Dealer: ZVAB, moluna
Description: 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]  

3. Handbook of Automated Reasoning (Volume II)
Price: USD 380.69
Dealer: Abebooks, Books Unplugged
Description: 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]  

4. Handbook of Automated Reasoning (Volume II)
Price: USD 431.91
Dealer: Abebooks, GF Books, Inc.
Description: ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover Book is in NEW condition. 5.47 [Hawthorne, CA, U.S.A.] [Publication Year: 2001]  

5. Handbook of Automated Reasoning (Volume II)
Price: USD 74.68
Dealer: Abebooks, HPB-Red
Description: 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]  

6. Handbook of Automated Reasoning (Volume II)
Price: USD 320.46
Dealer: Abebooks, Lucky's Textbooks
Description: ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover [Dallas, TX, U.S.A.] [Publication Year: 2001]  

7. Handbook of Automated Reasoning (Volume II)
by Robinson, Alan J a (Editor), and Voronkov, Andrei (Editor) 
Price: USD 74.88
Dealer: Alibris, HPB-Red via Alibris
Description: 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! 

8. Handbook of Automated Reasoning (Volume II)
by Robinson, Alan J.A. [Editor]; Voronkov, Andrei [Editor]; 
Price: USD 157.50
Dealer: Alibris, GridFreed via Alibris
Description: North Holland 2001-07-05 Hardcover New Size: 9x6x2; New. In shrink wrap. Looks like an interesting title! 

9. Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)
by Robinson, J. A. (Editor)/ Robinson, Alan/ Voronkov, Andrei (Editor) 
Price: USD 251.85
Dealer: AbebooksUK, Revaluation Books
Description: 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]  

10. Handbook of Automated Reasoning : Volume II Handbook of Automated Reasoning
by Robinson J. A. Editor/ Robinson Alan/ Voronkov Andrei Editor 
Price: USD 247.51
Dealer: Biblio, Revaluation Books
Description: North-Holland, Date: 2001. Hardcover. New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches. 2001. North-Holland ISBN 0444508120 9780444508126 [GB] 

11. Handbook of Automated Reasoning
by A. Robinson 
Price: USD 276.84
Dealer: Biblio, Ria Christie Collections
Description: Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Handbook of Automated Reasoning. ISBN 0444508120 9780444508126 [GB] 

12. Handbook of Automated Reasoning
by Alan JA. Robinson et Andrei Voronkov J. A. 
Price: USD 82.39
Dealer: Biblio, AMMAREAL
Description: 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] 

13. Handbook Of Automated Reasoning Vol.11
by ROBINSON 
Price: USD 147.53
Dealer: Abebooks, Basi6 International
Description: 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]  

14. Handbook of Automated Reasoning Vol.11
by Robinson 
Price: USD 162.05
Dealer: Alibris, Basi6 International via Alibris
Description: New, US edition. Satisfaction guaranteed! ! 

15. Handbook of Automated Reasoning Volume II
by Robinson Alan JA. Editor; Voronkov Andrei Editor; J. A. 
Price: USD 165.37
Dealer: Biblio, GridFreed LLC
Description: North Holland, Date: 2001-07-05. Hardcover. New. New. In shrink wrap. Looks like an interesting title! 2001. North Holland ISBN 0444508120 9780444508126 [US] 

16. Handbook of Automated Reasoning Volume II
by Robinson Alan JA. Editor; Voronkov Andrei Editor; J. A. 
Price: USD 399.00
Dealer: Biblio, SOUTHAUSTRALIANBOOKS
Description: North Holland. Hardcover. New. 9x6x2. North Holland ISBN 0444508120 9780444508126 [US] 

17. Handbook of Automated Reasoning Volume II
by Robinson, Alan J.A. 
Price: USD 212.11
Dealer: Alibris, Books2anywhere via Alibris
Description: 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. 

18. Handbook of Automated Reasoning Volume II
by Robinson, Alan J.A. 
Price: USD 224.74
Dealer: Alibris, Paperbackshop International via Alibris
Description: 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. 

19. Handbook of Automated Reasoning Volume II
by Robinson, Alan J.A. 
Price: USD 231.45
Dealer: Alibris, Paperbackshop via Alibris
Description: 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. 

20. Handbook of Automated Reasoning, Volume II
Price: USD 349.32
Dealer: AbebooksUK, Mispah books
Description: ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover Like New [Redhill, SURRE, United Kingdom] [Publication Year: 2001]  

21. Handbook of Automated Reasoning: Volume II (Handbook of Automated Reasoning)
by Robinson, J. A. (Editor)/ Robinson, Alan/ Voronkov, Andrei (Editor) 
Price: USD 276.76
Dealer: Alibris, Revaluation Books via Alibris
Description: North-Holland 2001 Hardcover New 1st edition. 2122 pages. 9.50x6.75x2.00 inches. 

22. Handbook of Automated Reasoning: Volume II
by Alan J.A. Robinson, Andrei Voronkov 
Price: USD 206.44
Dealer: AbebooksUK, Chiron Media
Description: ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland 2001-06-21] Hardcover [Wallingford, United Kingdom] [Publication Year: 2001]  

23. Handbook of Automated Reasoning: Volume II
by Robinson, Alan J a (Editor), and Voronkov, Andrei (Editor) 
Price: USD 313.70
Dealer: Alibris
Description: Amsterdam, Netherlands North-Holland 2001 Hard cover New. Sewn binding. 1188 p. Contains: Unspecified. Handbook of Automated Reasoning, II. 

24. Handbook of Automated Reasoning: Volume II
by Robinson, Alan J a (Editor), and Voronkov, Andrei (Editor) 
Price: USD 239.91
Dealer: Alibris, Booksplease via Alibris
Description: Amsterdam, Netherlands North-Holland 2001 Hard cover New. Sewn binding. 1188 p. Contains: Unspecified. 

25. Handbook of Automated Reasoning: Volume II
by Robinson, Alan J a (Editor), and Voronkov, Andrei (Editor) 
Price: USD 275.16
Dealer: Alibris, Ria Christie Books via Alibris
Description: Amsterdam, Netherlands North-Holland 2001 Hard cover New. Sewn binding. 1188 p. Contains: Unspecified. Handbook of Automated Reasoning, II. 

26. Handbook of Automated Reasoning: Volume II
by Robinson, Alan J a (Editor), and Voronkov, Andrei (Editor) 
Price: USD 262.78
Dealer: Alibris, ShopSpell via Alibris
Description: Amsterdam, Netherlands North-Holland 2001 Hard cover New. Sewn binding. 1188 p. Contains: Unspecified. Handbook of Automated Reasoning. 

27. HANDBOOK OF AUTOMATED REASONING
Price: USD 157.50
Dealer: Abebooks, BennettBooksLtd
Description: 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]  

28. Handbook of Automated Reasoning
by Alan J.A. Robinson et Andrei Voronkov 
Price: USD 73.72
Dealer: AbebooksFR, Ammareal
Description: 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]  

29. Handbook of Automated Reasoning
by Alan J.A. Robinson et Andrei Voronkov 
Price: USD 66.31
Dealer: ZVAB, Ammareal
Description: 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]