Acciones

SLC2018: Seminario de Lógica Computacional (2018)

De Seminario de Lógica Computacional (2018)

Revisión del 12:54 15 jul 2018 de Jalonso (discusión | contribuciones) (Página creada con «== Material para el seminario == * Temas: Teorías de los temas (incluyendo los ejercicios). * Documentación: Lecturas recomendadas. * Sistemas: Sistemas utili…»)
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

Material para el seminario

  • Temas: Teorías de los temas (incluyendo los ejercicios).
  • Documentación: Lecturas recomendadas.
  • Sistemas: Sistemas utilizados.
  • Diario: Descripción diaria de las sesiones.
Obtenido de «https://www.glc.us.es/~jalonso/SLC2018/index.php?title=SLC2018:_Seminario_de_Lógica_Computacional_(2018)&oldid=118»