Razonamiento automático (2017-18)
De Razonamiento automático (2017-18)
Revisión del 19:51 4 nov 2017 de Jalonso (discusión | contribuciones) (Protegió «Razonamiento automático (2017-18)» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
Razonamiento automático (2017-18)
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.