SLC2018: Seminario de Lógica Computacional (2018)
De Seminario de Lógica Computacional (2018)
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.