Ponente: José Divasón (Universidad de La Rioja)
Lugar: Aula 104, Edificio Vives
Hora: martes 25 de octubre, 12:30
- Contenido relacionado por Etiqueta
- 2011/2012
- Formalisation of mathematics
- Formalised Mathematics
- Isabelle/HOL
- Jose Divasón
- Linear Algebra