Diferencia entre revisiones de «Razonamiento automático (2016-17)»
De Razonamiento automático (2016-17)
(Página creada con '== Razonamiento automático (2016-17) == Este sitio contiene materiales del curso ''Razonamiento automático'' del [http://master.cs.us.es/Máster_Universitario_en_Lógica,_Comp...') |
m (Protegió «Razonamiento automático (2016-17)» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) |
(Sin diferencias)
| |
Revisión del 19:12 24 oct 2016
Razonamiento automático (2016-17)
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.