Seminario de Lógica Computacional (2018) SLC2018 https://www.glc.us.es/~jalonso/SLC2018/index.php/SLC2018:_Seminario_de_L%C3%B3gica_Computacional_(2018) MediaWiki 1.31.0 first-letter Medio Especial Discusión Usuario Usuario discusión Seminario de Lógica Computacional (2018) Seminario de Lógica Computacional (2018) 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 23 118 2018-07-15T10:54:10Z Jalonso 2 Página creada con «== Material para el seminario == * [[Temas]]: Teorías de los temas (incluyendo los ejercicios). * [[Documentación]]: Lecturas recomendadas. * [[Sistemas]]: Sistemas utili…» wikitext text/x-wiki == Material para el seminario == * [[Temas]]: Teorías de los temas (incluyendo los ejercicios). * [[Documentación]]: Lecturas recomendadas. * [[Sistemas]]: Sistemas utilizados. * [https://tarski.cs.us.es/~jalonso/vestigium/tag/slc2018 Diario]: Descripción diaria de las sesiones. lekcu8fr41m3eoq76cydrszcrdhbdh2