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.
Solitude is not something you must hope for in the future. Rather, it is a deepening of the present, and unless you look for it in the present you will never find it.
Robinson, Alan J a (Editor), and Voronkov, Andrei (Editor)
author size: 16
USD
141.64
price size: 16
HPB-Red via Alibris /Alibris
dealer size: 16
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!
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]
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]
Robinson Alan JA. Editor; Voronkov Andrei Editor; J. A.
USD
165.37
GridFreed LLC /Biblio
North Holland, Date: 2001-07-05. Hardcover. New. New. In shrink wrap. Looks like an interesting title! 2001. North Holland ISBN 0444508120 9780444508126 [US]
ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: Elsevier Science] Hardcover nach der Bestellung gedruckt Neuware - Printed after ordering - 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. [Einbeck, Germany] [Publication Year: 2001]
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.
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.
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]
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.
ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover Book is in Used-LikeNew condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear. 5.47 [Hawthorne, CA, U.S.A.] [Publication Year: 2001]
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Handbook of Automated Reasoning. ISBN 0444508120 9780444508126 [GB]
ISBN10: 0444508120, ISBN13: 9780444508126, [publisher: North Holland] Hardcover Book is in NEW condition. 5.47 [Hawthorne, CA, U.S.A.] [Publication Year: 2001]
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]
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]
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.