Automated Deduction in Geometry
Automated Deduction in Geometry
Franz Winkler
Details
OL Work ID
OL19829204W
Subjects
Geometry, data processing
Automatic theorem proving
Logic, symbolic and mathematical
Find this book
Open Library