Mechanical Geometry Theorem Proving by Shang-Ching Shang-Ching ChouMechanical Geometry Theorem Proving by Shang-Ching Shang-Ching Chou

Mechanical Geometry Theorem Proving

byShang-Ching Shang-Ching Chou

Hardcover | December 31, 1987

Pricing and Purchase Info

$167.95

Earn 840 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Mechanical Geometry Theorem ProvingFormat:HardcoverDimensions:374 pagesPublished:December 31, 1987Publisher:Springer Netherlands

The following ISBNs are associated with this title:

ISBN - 10:9027726507

ISBN - 13:9789027726506

Look for similar items by category:

Reviews

Editorial Reviews

`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. Boyer