SLI: A tool for easing the understanding of automated proof construction

  1. Maestro-Prieto, J.A.
  2. Simon-Hurtado, M.A.
Revista:
ACM Inroads

ISSN: 2153-2184,  2153-2192

Año de publicación: 2013

Volumen: 4

Número: 2

Páginas: 53-56

Tipo: Artículo

DOI: 10.1145/2465085.2465100 GOOGLE SCHOLAR
Fuente de los datos: Scopus