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_ 1808498889047670784

Publicaciones similares