RA2014: 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 23 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 13 de febrero de 2014.