Ver el código de «SLC2018: Seminario de Lógica Computacional (2018)» - Seminario de Lógica Computacional (2018)

Ver el código de «SLC2018: Seminario de Lógica Computacional (2018)»

← SLC2018: Seminario de Lógica Computacional (2018)

No tienes permiso para modificar esta página, por el siguiente motivo:

La acción que has solicitado está restringida a los usuarios del grupo: Usuarios.

Puedes ver y copiar el código fuente de esta página.

== 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.

Volver a SLC2018: Seminario de Lógica Computacional (2018).

Obtenido de «https://www.glc.us.es/~jalonso/SLC2018/index.php/SLC2018:_Seminario_de_Lógica_Computacional_(2018)»