Skip to content
Vinony

Automated Deduction in Geometry

by Franz Winkler · March 19, 2004

Cover of Automated Deduction in Geometry

No description available.

GeometryCongressesSymbolic and mathematical LogicData processingAutomatic theorem proving
Automated Deduction in Geometry by Franz Winkler — book · Vinony