Razonamiento automático (2017-18) RA2017 https://www.glc.us.es/~jalonso/RA2017/index.php/Razonamiento_autom%C3%A1tico_(2017-18) MediaWiki 1.31.14 first-letter Medio Especial Discusión Usuario Usuario discusión Razonamiento automático (2017-18) Razonamiento automático (2017-18) discusión Archivo Archivo discusión MediaWiki MediaWiki discusión Plantilla Plantilla discusión Ayuda Ayuda discusión Categoría Categoría discusión 0 4 318 92 2018-07-14T18:16:05Z Jalonso 2 wikitext text/x-wiki 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 Máster Universitario en Lógica, Computación e Inteligencia Artificial] de la [http://www.us.es Universidad de Sevilla]. == Material para el curso == * [[Temas]]: Teorías de los temas. * [[Ejercicios]]: Relaciones de ejercicios. * [[Documentación]]: Lecturas recomendadas. * [[Sistemas]]: Sistemas utilizados. * [http://www.glc.us.es/~jalonso/vestigium/tag/ra2017 Diario]: Descripción diaria de las clases. 9uobwqyh8k33xy2ydyrv8z47bytatmy