Automated Deduction in Geometry

Automated Deduction in Geometry

4/5
First published
2013
Publishers
Springer

Books

Similar books