Lecturas
Revisión del 09:58 28 oct 2008 de Jalonso (discusión | contribuciones)
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.
- K.R. Apt y M.G. Wallace (2007)
Constraint Logic Programming using Eclipse. - M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem. (2007)
Solving challenging grid puzzles with answer set programming. - J. Harrison (2007)
A short survey of automated reasoning - C.E. Veni Madhavan (2005)
Mathematics and computer science: The interplay.