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

dc.contributor.advisor

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

dc.relation.uri

dc.identifier.doi

Colecciones

Documentos de trabajo (working papers)

dc.rights