Aplicaciones y casos de estudio (19-20)
De Lógica computacional y teoría de modelos (2019-20)
Revisión del 14:14 12 feb 2020 de Mjoseh (discusión | contribuciones)
En esta sección se publican loas aplicaciones y casos de estudio presentadas por los alumnos en la asignatura.
- Laberintos: Laberintos (Ana Bermudo y Gema Terrón)(pdf) .
- Grid puzzles:
- Aplicaciones biológicas (Jesús Camacho y Estefanía Espinar):