search for books and compare prices
cover image
Handbook of Automated Reasoning
By Andrei Voronkov (editor), Alan Robinson (editor) and J. A. Robinson (editor)
Price
Store
Arrives
Preparing
Shipping

Jump quickly to results on these stores:

The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Jump down to see edition details for: Hardcover
Bibliographic Detail
Publisher Mit Pr
Publication date September 1, 2001
Pages 2122
Binding Hardcover
Book category Adult Non-Fiction
ISBN-13 9780262182232
ISBN-10 0262182238
Dimensions 4 by 6.75 by 9.75 in.
Weight 9.55 lbs.
Original list price $55.75
Summaries and Reviews
Editions
Hardcover
Book cover for 9780262182218 Book cover for 9780262182232 Book cover for 9780444508126 Book cover for 9780444508133
 
from Mit Pr (September 1, 2001)
9780262182218 | details & prices | 2122 pages | 6.50 × 9.50 × 2.00 in. | 4.35 lbs | List price $135.00
The price comparison is for this edition
With Alan Robinson (other contributor) | from Mit Pr (September 1, 2001)
9780262182232 | details & prices | 2122 pages | 6.75 × 9.75 × 4.00 in. | 9.55 lbs | List price $55.75
With Alan Robinson (other contributor) | Reprint edition from North-Holland (June 22, 2001)
9780444508133 | details & prices | 2122 pages | 6.75 × 9.50 × 4.25 in. | 9.55 lbs | List price $540.00
With Alan Robinson | from North-Holland (June 21, 2001)
9780444508126 | details & prices | 2122 pages | 6.75 × 9.50 × 2.00 in. | 5.15 lbs | List price $320.00

Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.