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).
[ Inicial | Temas | Ejercicios | Documentación | Sistemas ]