SLI: A tool for easing the understanding of automated proof construction
- Maestro-Prieto, J.A.
- Simon-Hurtado, M.A.
ISSN: 2153-2184, 2153-2192
Année de publication: 2013
Volumen: 4
Número: 2
Pages: 53-56
Type: Article
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...).