Seminario de lógica computacional (1995-96)

En este curso del programa de Doctorado se estudia la deducción automática en lógica proposicional y de primer orden mediante resolución, así como los fundamentos matemáticos de la programación lógica.

Los apuntes completos del curso se encuentran disponibles en el siguiente enlace: Deducción automática y programación lógica.