RA2017: 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 jueves 19 de octubre.
Las clases son los jueves 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 8 de febrero de 2018.