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).


Novedades

  • La primera clase es el martes 10 de Marzo.

Material para el curso

Temas Transparencias de los temas.
Documentación Enlaces con documentación.
Sistemas Sistemas utilizados.

[ Inicial | Temas | Documentación | Sistemas ]

Universidad de Sevilla