Proof Reconstruction: Parsing Proofs
| dc.contributor.author | Montoya-Zapata, Diego Alejandro | |
| dc.contributor.department | Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación | spa |
| dc.contributor.eafitauthor | Montoya-Zapata, Diego Alejandro (dmonto39@eafit.edu.co) | spa |
| dc.date.accessioned | 2015-06-29T21:07:12Z | |
| dc.date.available | 2015-06-29T21:07:12Z | |
| dc.date.issued | 2015-06-10 | |
| dc.format | application/pdf | eng |
| dc.identifier.uri | http://hdl.handle.net/10784/5485 | |
| dc.language.iso | spa | spa |
| dc.publisher | Universidad EAFIT | spa |
| dc.publisher.department | Escuela de Ciencias | spa |
| dc.publisher.program | Grupo de investigación en Lógica y Computación | spa |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
| dc.rights.local | Acceso abierto | spa |
| dc.subject.keyword | automatic theorem provers | spa |
| dc.subject.keyword | first-order logic | spa |
| dc.title | Proof Reconstruction: Parsing Proofs | spa |
| dc.type | info:eu-repo/semantics/workingPaper | |
| dc.type | workingPaper | eng |
| dc.type.hasVersion | draft | spa |
| dc.type.local | Documento de trabajo de investigación | spa |
Archivos
Bloque original
1 - 1 de 1
No hay miniatura disponible
- Nombre:
- diego-proof-reconstruction-parsing-project-report.pdf
- Tamaño:
- 267.12 KB
- Formato:
- Adobe Portable Document Format
- Descripción:
Bloque de licencias
1 - 1 de 1
No hay miniatura disponible
- Nombre:
- license.txt
- Tamaño:
- 2.5 KB
- Formato:
- Item-specific license agreed upon to submission
- Descripción: