Razonamiento automático (2003-04)

Profesor: José A. Alonso Jiménez
Horas de clases: Jueves de 18:00 a 20: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 de clase

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