Razonamiento automático (2003-04)

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