le>

Razonamiento automático (2005-06)

Profesor: José A. Alonso Jiménez
Horas de clases: Jueves de 16:00 a 18:00
Lugar: Seminario del Dpto. de CCIA en el L4
Créditos: 3

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


Material para el curso

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

[ Inicial | Temas | Ejercicios | Documentación | Sistemas ]

Universidad de Sevilla