SLI: A tool for easing the understanding of automated proof construction
- Maestro-Prieto, J.A.
- Simon-Hurtado, M.A.
ISSN: 2153-2184, 2153-2192
Argitalpen urtea: 2013
Alea: 4
Zenbakia: 2
Orrialdeak: 53-56
Mota: Artikulua
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...).