Diferencia entre revisiones de «Lecturas»
Línea 1: | Línea 1: | ||
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. | 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 <br>''[[Constraint Logic Programming using Eclipse]]''. | + | # K.R. Apt y M.G. Wallace (2007) <br>''[[Constraint Logic Programming using Eclipse]]''. |
# M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem. <br>''[[Solving challenging grid puzzles with answer set programming]]''. | # M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem. <br>''[[Solving challenging grid puzzles with answer set programming]]''. | ||
# J. Harrison <br>''[[A short survey of automated reasoning]]'' | # J. Harrison <br>''[[A short survey of automated reasoning]]'' |
Revisión del 09:57 28 oct 2008
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.
Solving challenging grid puzzles with answer set programming. - J. Harrison
A short survey of automated reasoning - C.E. Veni Madhavan
Mathematics and computer science: The interplay.