https://www.glc.us.es/~jalonso/SLC2018/index.php?action=history&feed=atom&title=SLC2018%3A_Seminario_de_L%C3%B3gica_Computacional_%282018%29SLC2018: Seminario de Lógica Computacional (2018) - Historial de revisiones2026-09-30T18:21:20ZHistorial de revisiones para esta página en el wikiMediaWiki 1.31.0https://www.glc.us.es/~jalonso/SLC2018/index.php?title=SLC2018:_Seminario_de_L%C3%B3gica_Computacional_(2018)&diff=118&oldid=prevJalonso: Página creada con «== Material para el seminario == * Temas: Teorías de los temas (incluyendo los ejercicios). * Documentación: Lecturas recomendadas. * Sistemas: Sistemas utili…»2018-07-15T10:54:10Z<p>Página creada con «== Material para el seminario == * <a href="/~jalonso/SLC2018/index.php/Temas" title="Temas">Temas</a>: Teorías de los temas (incluyendo los ejercicios). * <a href="/~jalonso/SLC2018/index.php/Documentaci%C3%B3n" title="Documentación">Documentación</a>: Lecturas recomendadas. * <a href="/~jalonso/SLC2018/index.php/Sistemas" title="Sistemas">Sistemas</a>: Sistemas utili…»</p>
<p><b>Página nueva</b></p><div>== Material para el seminario ==<br />
* [[Temas]]: Teorías de los temas (incluyendo los ejercicios).<br />
* [[Documentación]]: Lecturas recomendadas.<br />
* [[Sistemas]]: Sistemas utilizados.<br />
* [https://tarski.cs.us.es/~jalonso/vestigium/tag/slc2018 Diario]: Descripción diaria de las sesiones.</div>Jalonso