A comprehensive resource on automated reasoning and its applications.
Read More
A comprehensive resource on automated reasoning and its applications.
Read Less
- Book Details
- Seller
-
-
|
- Edition:
- 2001, MIT Press
-
Hardcover,
Very Good
|
- Details:
- ISBN:
026218222X
- ISBN-13:
9780262182225
- Pages:
1185
- Publisher:
MIT Press
- Published:
2001
- Language:
English
- Alibris ID:
17920202387
|
- Shipping Options:
- Standard Shipping: $4.79
Choose your shipping method in Checkout. Costs may vary based on destination.
|
- Seller's Description:
- Very good. This book is hardcover. Fast Shipping-Safe and Secure-Ships from Utah!
|
|
Hide Details ▴ |