RA2013: Comienzo del curso
Las clases del curso Razonamiento automático (del Máster Universitario en Lógica, Computación e Inteligencia Artificial) comienzan el miércoles 24 de octubre.
Las clases son los miércoles 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 2014.