Razonamiento automático (2008-09)

Este curso es una introducción al razonamiento automático tanto en lógica de primer orden (con Prover9 y Mace4) como en lógica de orden superior (con Isabelle/Isar).

Material para el curso

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

[ Inicial | Temas | Documentación | Sistemas ]