Ponente: Julio Rubio García (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: miércoles 7 de octubre, 10:00
Sesión inaugural, curso 2009/2010
- Contenido relacionado por Etiqueta
- 2009/2010
- Análisis matemático
- Formalisation of mathematics
- Formalised Mathematics
- Julio Rubio
- Sesión Inaugural