Razonamiento automático (2019-20)

Este sitio contiene materiales del curso Razonamiento automático del Máster Universitario en Lógica, Computación e Inteligencia Artificial de la Universidad de Sevilla.

Material para el curso

• Temas: Teorías de los temas.
• Ejercicios: Relaciones de ejercicios.
• Documentación: Lecturas recomendadas.
• Sistemas: Sistemas utilizados.
• Diario: Descripción diaria de las clases.