https://www.glc.us.es/~jalonso/RA2014/index.php?action=history&feed=atom&title=Razonamiento_autom%C3%A1tico_%282014-15%29 2026-09-19T23:56:32Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.14 https://www.glc.us.es/~jalonso/RA2014/index.php?title=Razonamiento_autom%C3%A1tico_(2014-15)&diff=3&oldid=prev 2014-10-23T05:12:35Z

<p>Página creada con &#039;== Razonamiento automático (2014-15) == Este sitio contiene materiales del curso &#039;&#039;Razonamiento automático&#039;&#039; del [http://master.cs.us.es/Máster_Universitario_en_Lógica,_Comp...&#039;</p> <p><b>Página nueva</b></p><div>== Razonamiento automático (2014-15) ==<br /> Este sitio contiene materiales del curso &#039;&#039;Razonamiento automático&#039;&#039; 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].<br /> <br /> == Material para el curso ==<br /> * [[Temas]]: Teorías de los temas.<br /> * [[Ejercicios]]: Relaciones de ejercicios.<br /> * [[Documentación]]: Lecturas recomendadas.<br /> * [[Sistemas]]: Sistemas utilizados.<br /> * [http://www.glc.us.es/~jalonso/vestigium/tag/ra2014 Diario]: Descripción diaria de las clases.</div>

WikiSysop