1189135
9789027726506
Mechanical Geometry Theorem Proving
by Shang-Ching Chou
31245
List Price
Discount
25% Off
You Save
$35.83
About this item
- Condition: New
- Provider: LightningBooks
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
370333
List Price
Discount
21% Off
You Save
$30.37
About this item
- Condition: Good
- Provider: Bonita
- Provider Rating: 0%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Product details
- ISBN-13: 9789027726506
- ISBN: 9027726507
- Publisher: Springer
AUTHOR
SUMMARY
'This work is, in my opinion, completely revolutionary. I believe that, by itself, the book will convince any mathematician in the world that the automation of mathematical reasoning is a profound and rewarding enterprise of extraordinary potential.' Robert S. BoyerShang-Ching Chou is the author of 'Mechanical Geometry Theorem Proving' with ISBN 9789027726506 and ISBN 9027726507.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
