Aplicaciones y casos de estudio (19-20)
De Lógica computacional y teoría de modelos (2019-20)
Revisión del 22:18 9 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 (pdf) .
- Grid puzzles: Grid puzzles
- (Masyu).
- (Heyawake y Nuricabe).