Estante
Material de Cátedra / Licenciatura en Sistemas, Licenciatura en Informática y APU (Plan 2015), Analista en TIC (Plan 2017) / Teoría de la Computación y Verificación de Programas / Bibliografía complementaria
Material de Cátedra / Licenciatura en Sistemas, Licenciatura en Informática y APU (Plan 2015), Analista en TIC (Plan 2017) / Teoría de la Computación y Verificación de Programas Avanzada (Optativa) / Bibliografía complementaria
Material de Cátedra / Licenciatura en Sistemas, Licenciatura en Informática y APU (Plan 2015), Analista en TIC (Plan 2017) / Lógica e Inteligencia Artificial / Bibliografía complementaria
Material de Cátedra / Licenciatura en Informática (Planes 2003/2007) / Lógica y Elementos de Inteligencia Artificial
Material de Cátedra / Licenciatura en Sistemas y Licenciatura en Informática (Plan 2012) / Lógica y Elementos de Inteligencia Artificial
Material de Cátedra / Licenciatura en Informática (Planes 2003/2007) / Teoría de la Computación y Verificación de Programas