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