Razonamiento automático (2019-20)

De Razonamiento automático (2019-20)

Revisión del 11:38 15 oct 2019 de Jalonso (discusión | contribs.) (Página creada con «Este sitio contiene materiales del curso '''Razonamiento automático''' del [http://master.cs.us.es/Máster_Universitario_en_Lógica,_Computación_e_Inteligencia_Artificial…»)

(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

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.

Obtenido de «https://www.glc.us.es/~jalonso/RA2019/index.php?title=Razonamiento_automático_(2019-20)&oldid=5»