Razonamiento automático (2005-06)

Este curso es una introducción a la automatización del razonamiento a través de distintos sistemas (OTTER, MACE, PVS).

Temas	Transparencias de los temas.
Ejercicios	Ejercicios propuestos.
Documentación	Enlaces con documentación.
Sistemas	Sistemas utilizados.
Enlace	a la página del curso anterior.