Acerca de la deducción automática en entornos geométricos interactivos 3D
- Freire Nistal, José Luis (coord.)
- Ladra González, Manuel (coord.)
Publisher: Servicio de Publicaciones = Servizo de Publicacións ; Universidad de Santiago de Compostela
ISBN: 978-84-9887-518-8
Year of publication: 2010
Pages: 61-65
Congress: Encuentro de Algebra Computacional y Aplicaciones (12. 2010. Santiago de Compostela)
Type: Conference paper