https://www.glc.us.es/~jalonso/RA2018/index.php?action=history&feed=atom&title=Razonamiento_autom%C3%A1tico_%282018-19%29 2026-09-21T03:44:52Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.14 https://www.glc.us.es/~jalonso/RA2018/index.php?title=Razonamiento_autom%C3%A1tico_(2018-19)&diff=13&oldid=prev 2018-10-20T13:30:49Z

<p></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 13:30 20 oct 2018</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l6" >Línea 6:</td> <td colspan="2" class="diff-lineno">Línea 6:</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>* [[Documentación]]: Lecturas recomendadas.</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>* [[Documentación]]: Lecturas recomendadas.</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>* [[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'>−</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 class="diffchange diffchange-inline">http</del>://www.glc.us.es/~jalonso/vestigium/<del class="diffchange diffchange-inline">tag</del>/ra2018 Diario]: Descripción diaria de las clases.</div></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 class="diffchange diffchange-inline">https</ins>://www.glc.us.es/~jalonso/vestigium/<ins class="diffchange diffchange-inline">category/curso/ra</ins>/ra2018<ins class="diffchange diffchange-inline">/ </ins>Diario]: Descripción diaria de las clases.</div></td></tr> </table>

Jalonso https://www.glc.us.es/~jalonso/RA2018/index.php?title=Razonamiento_autom%C3%A1tico_(2018-19)&diff=5&oldid=prev 2018-10-15T20:19:18Z

<p></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 20:19 15 oct 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>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'>+</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>Este sitio contiene materiales del curso <ins class="diffchange diffchange-inline">&#039;</ins>&#039;&#039;Razonamiento automático<ins class="diffchange diffchange-inline">&#039;</ins>&#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> <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>== Material para el curso ==</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>== Material para el curso ==</div></td></tr> </table>

Jalonso https://www.glc.us.es/~jalonso/RA2018/index.php?title=Razonamiento_autom%C3%A1tico_(2018-19)&diff=4&oldid=prev 2018-10-15T20:18:22Z

<p>Página creada con «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…»</p> <p><b>Página nueva</b></p><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].<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/ra2018 Diario]: Descripción diaria de las clases.</div>

Jalonso