SLI: A tool for easing the understanding of automated proof construction
- Maestro-Prieto, J.A.
- Simon-Hurtado, M.A.
ISSN: 2153-2184, 2153-2192
Año de publicación: 2013
Volumen: 4
Número: 2
Páginas: 53-56
Tipo: Artículo
Los documentos del portal se actualizan diariamente. Esta fecha hace referencia a la actualización de la información relacionada con la estructura del portal (personas, grupos de investigación, unidades organizativas, proyectos...).