search for books and compare prices
Handbook of Automated Reasoning
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Hardcover
from North-Holland (June 1, 2001)
9780444829498 | details & prices | 2122 pages | 6.75 × 9.50 × 1.75 in. | 4.40 lbs | List price $275.00