Razonamiento automático (2018-19)

Este curso es una introducción al razonamiento automático asistido por ordenador usando, fundamentalmente, Isabelle/HOL y Coq.


Material para el curso


Universidad de Sevilla
José A. Alonso Jiménez
Grupo de Lógica Computacional
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Sevilla, 20-10-2018
Creative Commons License
Esta obra está bajo una licencia de Creative Commons.