DDAYSEl Escorial, 23 de noviembre, 2008
'Deducción automática en geometría a través del cálculo simbólico'
Tomas Recio
Universidad de Cantabria
Resumen
Veinte años... no es nada!
La vida es bella...
.... sólo a veces
... con GDI
Por qué?