Aplicaciones y casos de estudio
De Lógica computacional y teoría de modelos (2019-20)
Revisión del 12:27 5 feb 2019 de Mjoseh (discusión | contribuciones) (Página creada con «En esta sección se publican loas aplicaciones y casos de estudio presentadas por los alumnos en la asignatura. * Puzzles de tableros: Resolución de puzzles de tabler…»)
En esta sección se publican loas aplicaciones y casos de estudio presentadas por los alumnos en la asignatura.
- Puzzles de tableros: Resolución de puzzles de tableros mediante ASP, presentado por Ana Alicia Rivera.
- Laberintos: Resolución y generación de laberintos mediante ASP, presentado por María Calvo.
- Aplicaciones a bioinformática: Aplicaciones a bioinformática, presentado por Ulises Pascual.