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.
Wisdom has two parts: 1)having a lot to say, and. 2)not saying it.
ISBN10: 0444829490, ISBN13: 9780444829498, [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]
ISBN10: 0444829490, ISBN13: 9780444829498, [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]
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 0444829490 9780444829498 [FR]
ISBN10: 0444829490, ISBN13: 9780444829498, [publisher: Elsevier Science] Hardcover nach der Bestellung gedruckt Neuware - Printed after ordering - This 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. [Einbeck, Germany] [Publication Year: 2001]
Voronkov, Andrei (Editor), and Robinson, Alan J a (Editor)
USD
226.20
ShopSpell via Alibris /Alibris
Amsterdam, Netherlands North-Holland 2001 Hard cover New. Sewn binding. Cloth over boards. 996 p. Contains: Unspecified. Handbook of Automated Reasoning.
Elsevier Science 6/21/2001 12: 00: 00 AM Hardcover PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Handbook of Automated Reasoning. ISBN 0444829490 9780444829498 [GB]
Robinson, Alan J a (Editor), and Voronkov, Andrei (Editor)
USD
236.03
Ria Christie Books via Alibris /Alibris
Amsterdam, Netherlands North-Holland 2001 Hard cover New. Sewn binding. Cloth over boards. 996 p. Contains: Unspecified. Handbook of Automated Reasoning, I.
Elsevier Science 6/21/2001 12: 00: 00 AM Hardcover PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Robinson, Alan J a (Editor), and Voronkov, Andrei (Editor)
USD
273.77
Alibris /Alibris
Amsterdam, Netherlands North-Holland 2001 Hard cover New. Sewn binding. Cloth over boards. 996 p. Contains: Unspecified. Handbook of Automated Reasoning, I.
ISBN10: 0444829490, ISBN13: 9780444829498, [publisher: Elsevier Science] Hardcover This 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.Part I. History 1. The Early History o. [Greven, Germany] [Publication Year: 2001]
ISBN10: 0444829490, ISBN13: 9780444829498, [publisher: Elsevier Science] Hardcover This 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.Part I. History 1. The Early History o. [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.