Lecturas

De WikiGLC
Saltar a: navegación, buscar

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.

  1. K.R. Apt y M.G. Wallace Constraint Logic Programming using Eclipse.
  2. J. Harrison A short survey of automated reasoning
  3. C.E. Veni Madhavan Mathematics and computer science: The interplay
Obtenido de «https://www.glc.us.es/web/index.php?title=Lecturas&oldid=238»