Handbook of Automated Reasoning
ISBN 10:
0444508139 ISBN 13:
9780444508133
Published by Elsevier, 2001
Language: English
Condition: New
Hardcover
Sold by Majestic Books, Hounslow, United Kingdom
AbeBooks Seller since January 19, 2007
New - Hardcover
Condition: New
Price:
US$ 438.45
Convert Currency
US$ 8.81
shipping from United Kingdom to U.S.A.
Destination, rates & speeds
Quantity: 1 available
Add to basket