De Lógica computacional y teoría de modelos (2019-20)
Revisión del 22:15 9 feb 2020 de Mjoseh(discusión | contribuciones)(Página creada con «En estas aplicaciones se estudian tres ejemplos de cómo usar ASP para resolver rompecabezas de cuadrícula (grid puzzles) * Masyu * Nuricabe * Heyawake»)