Lecturas

En esta sección se recogen los comentarios de los miembros del Grupo de algunas de las lecturas de publicaciones relacionadas con los temas de investigación del Grupo.

1. K.R. Apt y M.G. Wallace
   Constraint Logic Programming using Eclipse.
2. M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem.
   Solving challenging grid puzzles with answer set programming.
3. J. Harrison
   A short survey of automated reasoning
4. C.E. Veni Madhavan
   Mathematics and computer science: The interplay.