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