SLI: A tool for easing the understanding of automated proof construction
- Maestro-Prieto, J.A.
- Simon-Hurtado, M.A.
ISSN: 2153-2184, 2153-2192
Any de publicació: 2013
Volum: 4
Número: 2
Pàgines: 53-56
Tipus: Article
Els documents de l'Observatori s'actualitzen diàriament. Aquesta data fa referència a l'actualització de la informació relacionada amb l'estructura de l'Observatori (persones, grups d'investigació, unitats organitzatives, projectes, etc.).