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.
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]
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]
ISBN10: 0444829490, ISBN13: 9780444829498, [publisher: North Holland] Hardcover Book is in Used-VeryGood 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 and contain very limited notes and highlighting. 4.59 [Hawthorne, CA, U.S.A.] [Publication Year: 2001]
ISBN10: 0444829490, ISBN13: 9780444829498, [publisher: North Holland] Hardcover [Salisbury Plain, SA, Australia] [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.