I1M2010-T14: El tipo abstracto de datos de las pilas en Haskell
LI-T12: LI2011-12: Introducción a la programación lógica con Prolog
Tema 10: Evaluación perezosa en Haskell
LMF-T6: Sintaxis y semántica de la lógica de primer orden
LI2011-T8: Tableros semánticos para la lógica de primer orden
I1M2010-T15: El tipo abstracto de datos de las colas en Haskell
Tema 8: Razonamiento sobre programas Haskell.
Panorama del razonamiento automático
Panorama de la demostración asistida por ordenador
I1M2010-T20: El tipo abstracto de los montículos en Haskell
I1M2010-T18: El TAD de las tablas en Haskell
I1M-T21: El TAD de los polinomios en Haskell
I1M2010-T24: Programación dinámica en Haskell
I1M2010-T16: El tipo abstracto de las colas de prioridad en Haskell
DAO2011-T0: Presentación de sistemas de razonamiento automático
Tema 23: Técnicas de diseño descendente de algoritmos
I1M-T17: El TAD de los conjuntos
LMF-T5: Resolución proposicional
LI -T5: Resolución proposicional