Diferencia entre revisiones de «Lecturas»
m |
|||
| Línea 3: | Línea 3: | ||
# 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]]''' | # C.E. Veni Madhavan '''[[Mathematics and computer science: The interplay]]''' | ||
| + | |||
| + | [[Categoría: Lecturas]] | ||
Revisión del 09:06 27 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
