Ponente: Julio Rubio García (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: jueves 4 de junio, 09:00
Se trata de una prueba de tiempo de la charla que impartiré la semana próxima en la Universidad de Málaga.
- Contenido relacionado por Etiqueta
- 2008/2009
- Fiabilidad de sistemas
- Formalisation of mathematics
- Formalised Mathematics
- Julio Rubio
- Métodos formales