SLI: A tool for easing the understanding of automated proof construction
- Maestro-Prieto, J.A.
- Simon-Hurtado, M.A.
ISSN: 2153-2184, 2153-2192
Ano de publicación: 2013
Volume: 4
Número: 2
Páxinas: 53-56
Tipo: Artigo
Os documentos do portal actualízanse diariamente. Esta data fai referencia á actualización da información relacionada coa estructura do portal (persoas, grupos de investigación, unidades organizativas, proxectos…).