Diferencia entre revisiones de «Lecturas»
Línea 2: | Línea 2: | ||
# K.R. Apt y M.G. Wallace [[Constraint Logic Programming using Eclipse]]. | # K.R. Apt y M.G. Wallace [[Constraint Logic Programming using Eclipse]]. | ||
# J. Harrison [[A short survey of automated reasoning]]. | # J. Harrison [[A short survey of automated reasoning]]. | ||
+ | # |
Revisión del 22:29 22 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 Constraint Logic Programming using Eclipse.
- J. Harrison A short survey of automated reasoning.