root.skip-to-content
English
Español
Français
Português
Iniciar sesión
Usuario institucional
Contraseña
Iniciar sesión
¿Has olvidado tu contraseña?
Comunidades
Listar por
Estadísticas
English
Español
Français
Português
Iniciar sesión
Usuario institucional
Contraseña
Iniciar sesión
¿Has olvidado tu contraseña?
Inicio
Investigación
Escuela de Ciencias Aplicadas e Ingeniería
Lógica y Computación
Documentos de trabajo (working papers)
Proof Reconstruction: Parsing Proofs
Proof Reconstruction: Parsing Proofs
Archivos
diego-proof-reconstruction-parsing-project-report.pdf
(267.12 KB)
Fecha
2015-06-10
Autores
Montoya-Zapata, Diego Alejandro
Título de la revista
ISSN de la revista
Título del volumen
Editor
Universidad EAFIT
Resumen
Descripción
Palabras clave
Citación
URI
http://hdl.handle.net/10784/5485
Colecciones
Documentos de trabajo (working papers)
Página completa del ítem