Automated Deduction in Geometry

Elemento

Título
Automated Deduction in Geometry
Autores
Ida
Año Publicación
2013
Editorial
Springer Berlin Heidelberg
ISBN
978-3-642-40671-3
eBook
978-3-642-40672-0
Colecciones
Springer