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)