Ponente: Jónathan Heras (School of Computing, Dundee University, Escocia)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 18 de diciembre, 13:00
- Contenido relacionado por Etiqueta
- 2012/2013
- Interactive theorem provers
- ITP
- Jónathan Heras
- Machine Learning
- Program interfaces