SLI: A tool for easing the understanding of automated proof construction
- Maestro-Prieto, J.A.
- Simon-Hurtado, M.A.
ISSN: 2153-2184, 2153-2192
Year of publication: 2013
Volume: 4
Issue: 2
Pages: 53-56
Type: Article
Portal documents are updated daily. This date refers to the updating of information related to the portal structure (people, research groups, organizational units, projects...).