Handbook of Automated Reasoning (Volume I)
Language: English
Published by North Holland, 2001
- Hardcover
- New
Seller: GoldBooks, Denver, CO, U.S.A.GoldBooks
5-star seller
AbeBooks seller since May 15, 2019
Hardcover
Condition: New
US$ 1,124.11
US$ 5.50 shipping
Ships within U.S.A.
Quantity: 1 available
Add to basketFree 30-day returns
Item description from seller
New Copy. Customer Service Guaranteed.
Seller Inventory # 83V46_58_0444829490
- Title
- Handbook of Automated Reasoning (Volume I)
- Author
- Voronkov, Andrei
- Publisher
- North Holland
- Publication year
- 2001
- Condition
- new
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0444829490
- ISBN 13
- 9780444829498
Hardbound.
"Synopsis" may belong to another edition of this title.
About the Author
J. Alan Robinson is University Professor Emeritus at Syracuse University.
"About the title" may belong to another edition of this title.
Shipping rates within U.S.A.
| Item | 4 to 14 business days | 3 to 8 business days |
|---|---|---|
| First item | US$ 5.50 | US$ 12.75 |
Payment methods
Store description
We are dedicated to providing customers with easy, flawless transactions and excellent books! We provide 100% customer satisfaction and are always here to answer any questions or concerns for our customers.
Specialty
Non-Fiction across all genres, FictionSeller's business information
Farm For Books Inc
1734 Bellaire Street
Denver, CO U.S.A. 80220