https://www.glc.us.es/~jalonso/RA2016/index.php?action=history&feed=atom&title=Razonamiento_autom%C3%A1tico_%282016-17%29 2026-09-21T15:08:22Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.14 https://www.glc.us.es/~jalonso/RA2016/index.php?title=Razonamiento_autom%C3%A1tico_(2016-17)&diff=1454&oldid=prev 2018-07-16T11:03:44Z

<p>‎<span dir="auto"><span class="autocomment">Razonamiento automático (2016-17)</span></span></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="es"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 11:03 16 jul 2018</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Línea 1:</td> <td colspan="2" class="diff-lineno">Línea 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">== Razonamiento automático (2016-17) ==</del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>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].</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>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].</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> </table>

WikiSysop https://www.glc.us.es/~jalonso/RA2016/index.php?title=Razonamiento_autom%C3%A1tico_(2016-17)&diff=236&oldid=prev 2016-11-06T09:52:21Z

<p>‎<span dir="auto"><span class="autocomment">Material para el curso</span></span></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="es"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revisión del 09:52 6 nov 2016</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l8" >Línea 8:</td> <td colspan="2" class="diff-lineno">Línea 8:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Sistemas]]: Sistemas utilizados.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Sistemas]]: Sistemas utilizados.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.glc.us.es/~jalonso/vestigium/tag/ra2016 Diario]: Descripción diaria de las clases.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.glc.us.es/~jalonso/vestigium/tag/ra2016 Diario]: Descripción diaria de las clases.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* [https://github.com/jaalonso/RA20116 GitHub]: Curso en GitHub.</ins></div></td></tr> </table>

Jalonso https://www.glc.us.es/~jalonso/RA2016/index.php?title=Razonamiento_autom%C3%A1tico_(2016-17)&diff=44&oldid=prev 2016-10-24T17:12:49Z

<p>Protegió «<a href="/~jalonso/RA2016/index.php/Razonamiento_autom%C3%A1tico_(2016-17)" title="Razonamiento automático (2016-17)">Razonamiento automático (2016-17)</a>» ([edit=sysop] (indefinido) [move=sysop] (indefinido))</p> <table class="diff diff-contentalign-left" data-mw="interface"> <tr class="diff-title" lang="es"> <td colspan="1" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td> <td colspan="1" style="background-color: #fff; color: #222; text-align: center;">Revisión del 17:12 24 oct 2016</td> </tr><tr><td colspan="2" class="diff-notice" lang="es"><div class="mw-diff-empty">(Sin diferencias)</div> </td></tr></table>

Jalonso https://www.glc.us.es/~jalonso/RA2016/index.php?title=Razonamiento_autom%C3%A1tico_(2016-17)&diff=8&oldid=prev 2016-10-15T13:53:33Z

<p>Página creada con &#039;== Razonamiento automático (2016-17) == 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 (2016-17) ==<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/ra2016 Diario]: Descripción diaria de las clases.</div>

Jalonso