Lecturas
Revisión del 23:05 22 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 Constraint Logic Programming using Eclipse.
- J. Harrison A short survey of automated reasoning.