Ponente: Jónathan Heras (Computing School de la Dundee University, Escocia)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: jueves 19 de diciembre, 10:00
- Contenido relacionado por Etiqueta
- 2013/2014
- ACL2
- Demostración automática
- Descubrimiento automático de demostraciones
- Jónathan Heras