Temas de "Demostración automática de teoremas" (2004-05)
- Tema 1:
Introducción a la Demostración automática de teoremas.
- Tema 2:
Cálculo semántico proposicional con MACE.
- Tema 3:
Resolución proposicional en OTTER.
- Tema 4:
Resolución de primer orden.
- Tema 5:
Razonamiento automático con igualdad.