Automated Deduction in Geometry

Elemento

Título
Automated Deduction in Geometry
Autores
Botana
Año Publicación
2015
Editorial
Springer International Publishing
ISBN
978-3-319-21361-3
eBook
978-3-319-21362-0
Colecciones
Springer