Lecturas

De WikiGLC

Revisión del 08:52 22 oct 2008 de Jalonso (discusión | contribuciones)

(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

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.

J. Harrison A short survey of automated reasoning.

Obtenido de «https://www.glc.us.es/web/index.php?title=Lecturas&oldid=160»