Artículo de docentes fue aceptado para su publicación en la revista “Journal of Universal Computer Science"

El artículo “Proof assistant based on didactic considerations” del Ing. Jorge Pais, docente de la Cátedra de Teoría de la Computación de la Facultad de Ingeniería y Estudiante del Master en Ingeniería (por Investigación), y el Dr. Álvaro Tasistro, Catedrático de Teoría de la Computación y Coordinador Académico del master, fue aceptado en marzo de 2013 para su publicación en la revista “Journal of Universal Computer Science”.