Lecturas
Revisión del 08:49 22 oct 2008 de Jalonso (discusión | contribuciones) (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 [[...)
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. Proceedings of the Second International Conference on Algebraic Biology, AB 2007. Springer LNCS vol. 4545, pp. 334-349, 2007.