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
Demostración automática
Hay 2 posts etiquetados con Demostración automática.
Sitio web del Seminario Mirian Andrés del Departamento de Matemáticas y Computación de la Universidad de La Rioja