Lógica computacional y teoría de modelos (2019-20)
Lógica computacional y teoría de modelos (2019-20)
Navegación
Página principal
Cambios recientes
Página aleatoria
Ayuda
Herramientas
Lo que enlaza aquí
Cambios relacionados
Páginas especiales
Versión para imprimir
Enlace permanente
Información de la página
Acciones
Página
Discusión
Ver código
Historial
Puzzles de tableros
De Lógica computacional y teoría de modelos (2019-20)
Nurikabe
Programa
Instancias:
Primera instancia
Segunda instancia
Heyawake
Programa
Instancias:
Primera instancia
Masyu
Programa
Instancias:
Primera instancia
Segunda instancia
Bag puzzle
Programa
Instancias:
Primera instancia
Segunda instancia