Acerca de la deducción automática en entornos geométricos interactivos 3D
- Freire Nistal, José Luis (coord.)
- Ladra González, Manuel (coord.)
Editorial: Servicio de Publicaciones = Servizo de Publicacións ; Universidad de Santiago de Compostela
ISBN: 978-84-9887-518-8
Ano de publicación: 2010
Páxinas: 61-65
Congreso: Encuentro de Algebra Computacional y Aplicaciones (12. 2010. Santiago de Compostela)
Tipo: Achega congreso