Description:
North Holland, 2001-07-05. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Handbook of Automated Reasoning by Alan J.A. Robinson et Andrei Voronkov - 2001
by Alan J.A. Robinson et Andrei Voronkov
Similar copies are shown below.
Similar copies are shown to the right.
Stock Photo: Cover May Be Different
Handbook of Automated Reasoning
by Alan J.A. Robinson et Andrei Voronkov
- Used
- very good
- Hardcover
North Holland, 2001. Hardcover. Very Good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
- Bookseller AMMAREAL (FR)
- Format/Binding Hardcover
- Book Condition Used - Very Good
- Quantity Available 1
- Binding Hardcover
- ISBN 10 0444508120
- ISBN 13 9780444508126
- Publisher North Holland
- Date Published 2001
We have 3 copies available starting at $165.37.
Stock Photo: Cover May Be Different
Handbook of Automated Reasoning (Volume II)
by Robinson, Alan J.A. [Editor]; Voronkov, Andrei [Editor];
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780444508126 / 0444508120
- Quantity Available
- 1
- Seller
-
San Diego, California, United States
- Item Price
-
$165.37$5.45 shipping to
Show Details
Item Price
$165.37
$5.45
shipping to
Stock Photo: Cover May Be Different
Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)
by Robinson, J. A. (Editor)/ Robinson, Alan/ Voronkov, Andrei (Editor)
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780444508126 / 0444508120
- Quantity Available
- 1
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
$252.12$10.00 shipping to
Show Details
Description:
North-Holland, 2001. Hardcover. New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches.
Item Price
$252.12
$10.00
shipping to
Stock Photo: Cover May Be Different
Handbook of Automated Reasoning
by A. Robinson
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780444508126 / 0444508120
- Quantity Available
- 123
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$282.00$7.99 shipping to
Show Details
Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Handbook of Automated Reasoning.
Item Price
$282.00
$7.99
shipping to