Filtros a aplicar a los resultados Filtrar resultados por: Centros UCM 1 UDC 1 USTC 1 UVI 1 Ver menos Autores Botana Ferreiro, Francisco, 1 International Workshop on Automated Deduction in Geometry (2006. 1 Roanes Lozano, E., 1 Ver menos Ver menos Títulos Automated deduction in geometry 2006 1 Ver menos Materias Informática- Aplicaciones en Geometría 1 Ver menos Tipo Documental Monografías 1 Ver menos Editorial Universidad de Vigo 1 Ver menos Idioma Español 1 Ver menos Fecha de Publicación 2000-2009 1 Ver menos
Filtros a aplicar a los resultados Filtrar resultados por: Centros UCM 1 UDC 1 USTC 1 UVI 1 Ver menos Autores Botana Ferreiro, Francisco, 1 International Workshop on Automated Deduction in Geometry (2006. 1 Roanes Lozano, E., 1 Ver menos Ver menos Títulos Automated deduction in geometry 2006 1 Ver menos Materias Informática- Aplicaciones en Geometría 1 Ver menos Tipo Documental Monografías 1 Ver menos Editorial Universidad de Vigo 1 Ver menos Idioma Español 1 Ver menos Fecha de Publicación 2000-2009 1 Ver menos