Ponente: Jose Divasón (Universidad de La Rioja)
Lugar: Aula 312, Edificio Vives
Hora: miércoles 29 de enero, 12:00
- Contenido relacionado por Etiqueta
- 2013/2014
- Formalisation of mathematics
- Formalised Mathematics
- Isabelle/HOL
- Jose Divasón
- Linear Algebra