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 '''[[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]]''' |
+ | # C.E. Veni Madhavan '''[Mathematics and computer science: The interplay]''' |
Revisión del 09:14 23 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
- C.E. Veni Madhavan [Mathematics and computer science: The interplay]