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…»)
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.