RA2015: Comienzo del curso
Las clases del curso de Razonamiento automático del Máster Universitario en Lógica, Computación e Inteligencia Artificial
comienzan el martes 20 de octubre.
Las clases son los martes de 16:30 a 18:30 en el Seminario del Departamento de Ciencias de la Computación e Inteligencia Artificial en el módulo E.
Las clases terminan el 12 de febrero de 2016.