Proof Reconstruction: Parsing Proofs
- Autores:
-
Montoya-Zapata, Diego Alejandro
- Tipo de recurso:
- Fecha de publicación:
- 2015
- Institución:
- Universidad EAFIT
- Repositorio:
- Repositorio EAFIT
- Idioma:
- spa
- OAI Identifier:
- oai:repository.eafit.edu.co:10784/5485
- Acceso en línea:
- http://hdl.handle.net/10784/5485
- Palabra clave:
- automatic theorem provers
first-order logic
- Rights
- License
- Acceso abierto
| id |
REPOEAFIT2_f2aac46371c2c38a04ccdd383beebd9d |
|---|---|
| oai_identifier_str |
oai:repository.eafit.edu.co:10784/5485 |
| network_acronym_str |
REPOEAFIT2 |
| network_name_str |
Repositorio EAFIT |
| repository_id_str |
|
| spelling |
2015-06-29T21:07:12Z2015-06-102015-06-29T21:07:12Zhttp://hdl.handle.net/10784/5485application/pdfspaUniversidad EAFITGrupo de investigación en Lógica y ComputaciónEscuela de CienciasProof Reconstruction: Parsing Proofsinfo:eu-repo/semantics/workingPaperworkingPaperDocumento de trabajo de investigacióndrafthttp://purl.org/coar/version/c_b1a7d7d4d402bccehttp://purl.org/coar/resource_type/c_8042Acceso abiertohttp://purl.org/coar/access_right/c_abf2automatic theorem proversfirst-order logicUniversidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y ComputaciónMontoya-Zapata, Diego Alejandro (dmonto39@eafit.edu.co)Montoya-Zapata, Diego AlejandroLICENSElicense.txtlicense.txttext/plain; charset=utf-82556https://repository.eafit.edu.co/bitstreams/037fbca4-2a80-4ce1-bc49-8c54d5a49300/download76025f86b095439b7ac65b367055d40cMD51ORIGINALdiego-proof-reconstruction-parsing-project-report.pdfdiego-proof-reconstruction-parsing-project-report.pdfapplication/pdf273527https://repository.eafit.edu.co/bitstreams/670bf38b-e3f1-4067-9f8c-759b3d3086ad/download1cfea4561f837bcdec7e824b67739e20MD5210784/5485oai:repository.eafit.edu.co:10784/54852016-01-27 09:25:57.321open.accesshttps://repository.eafit.edu.coRepositorio Institucional Universidad EAFITrepositorio@eafit.edu.co |
| dc.title.spa.fl_str_mv |
Proof Reconstruction: Parsing Proofs |
| title |
Proof Reconstruction: Parsing Proofs |
| spellingShingle |
Proof Reconstruction: Parsing Proofs automatic theorem provers first-order logic |
| title_short |
Proof Reconstruction: Parsing Proofs |
| title_full |
Proof Reconstruction: Parsing Proofs |
| title_fullStr |
Proof Reconstruction: Parsing Proofs |
| title_full_unstemmed |
Proof Reconstruction: Parsing Proofs |
| title_sort |
Proof Reconstruction: Parsing Proofs |
| dc.creator.fl_str_mv |
Montoya-Zapata, Diego Alejandro |
| dc.contributor.department.spa.fl_str_mv |
Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación |
| dc.contributor.eafitauthor.spa.fl_str_mv |
Montoya-Zapata, Diego Alejandro (dmonto39@eafit.edu.co) |
| dc.contributor.author.none.fl_str_mv |
Montoya-Zapata, Diego Alejandro |
| dc.subject.keyword.spa.fl_str_mv |
automatic theorem provers first-order logic |
| topic |
automatic theorem provers first-order logic |
| publishDate |
2015 |
| dc.date.available.none.fl_str_mv |
2015-06-29T21:07:12Z |
| dc.date.issued.none.fl_str_mv |
2015-06-10 |
| dc.date.accessioned.none.fl_str_mv |
2015-06-29T21:07:12Z |
| dc.type.none.fl_str_mv |
info:eu-repo/semantics/workingPaper |
| dc.type.eng.fl_str_mv |
workingPaper |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_b1a7d7d4d402bcce |
| dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_8042 |
| dc.type.local.spa.fl_str_mv |
Documento de trabajo de investigación |
| dc.type.hasVersion.spa.fl_str_mv |
draft |
| dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/10784/5485 |
| url |
http://hdl.handle.net/10784/5485 |
| dc.language.iso.spa.fl_str_mv |
spa |
| language |
spa |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.local.spa.fl_str_mv |
Acceso abierto |
| rights_invalid_str_mv |
Acceso abierto http://purl.org/coar/access_right/c_abf2 |
| dc.format.eng.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Universidad EAFIT |
| dc.publisher.program.spa.fl_str_mv |
Grupo de investigación en Lógica y Computación |
| dc.publisher.department.spa.fl_str_mv |
Escuela de Ciencias |
| institution |
Universidad EAFIT |
| bitstream.url.fl_str_mv |
https://repository.eafit.edu.co/bitstreams/037fbca4-2a80-4ce1-bc49-8c54d5a49300/download https://repository.eafit.edu.co/bitstreams/670bf38b-e3f1-4067-9f8c-759b3d3086ad/download |
| bitstream.checksum.fl_str_mv |
76025f86b095439b7ac65b367055d40c 1cfea4561f837bcdec7e824b67739e20 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Institucional Universidad EAFIT |
| repository.mail.fl_str_mv |
repositorio@eafit.edu.co |
| _version_ |
1814110277825724416 |