Seminario de lógica computacional
El Seminario de lógica computacional es un curso del programa de doctorado del 1991-92 en el que se estudia la lógica proposicional y de primer orden, la demostración automática por resolución y los fundamentos matemáticos de la programación lógica.
En el siguientes enlace se encuentra los apuntes del curso: Lógica computacional.