Publicación:
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

Proyectos de investigación

Unidades organizativas

Número de la revista

Resumen

Descripción

Palabras clave

Citación

URI

https://hdl.handle.net/10784/5485

Colecciones

Documentos de trabajo (working papers)