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.