DAT2014: Comienzo del curso
Las clases del curso Demostración automática de teoremas (del Máster Universitario en Matemática Avanzada) comenzarán el martes 25 de febrero de 2014.
Las clases del curso Demostración automática de teoremas (del Máster Universitario en Matemática Avanzada) comenzarán el martes 25 de febrero de 2014.