Ponente: Jónathan Heras (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 30 de septiembre, 12:00
- Contenido relacionado por Etiqueta
- 2014/2015
- Coq
- Estructuras canónicas
- Estructuras de datos
- Jónathan Heras
Sitio web del Seminario Mirian Andrés del Departamento de Matemáticas y Computación de la Universidad de La Rioja