Razonamiento automático (2019-20) RA2019 https://www.glc.us.es/~jalonso/RA2019/index.php/Razonamiento_autom%C3%A1tico_(2019-20) MediaWiki 1.36.1 first-letter Medio Especial Discusión Usuario Usuario discusión Razonamiento automático (2019-20) Razonamiento automático (2019-20) 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 5 11 5 2019-10-15T09:45:25Z Jalonso 1 Protegió «[[Razonamiento automático (2019-20)]]» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)) 11 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. * [https://www.glc.us.es/~jalonso/vestigium/category/curso/ra/ra2019/ Diario]: Descripción diaria de las clases. ck0dri9m1iue4bzx5793p0zct16peqj