Seminario de lógica computacional (2015-16)

El objetivo del seminario es presentar temas de lógica computacional que complenten a los estudiados en el Grado de Matemáticas

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, 05-2-2016
Creative Commons License Esta obra está bajo una licencia de Creative Commons.