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