Diferencia entre revisiones de «Lecturas»
(New page: 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 [[...) |
|||
| 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. | ||
| − | * J. Harrison [[A short survey of automated reasoning]] | + | * J. Harrison [[A short survey of automated reasoning]]. |
Revisión del 08:52 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.
- J. Harrison A short survey of automated reasoning.
