Este curso es una introducción al razonamiento automático asistido por ordenador usando, fundamentalmente, Isabelle/HOL).
[ Inicial | Temas | Ejercicios | Documentación | Sistemas ]