@phdthesis{
 title = {Deducción Natural en Lógica Modal: una implementación en Coq.},
 type = {phdthesis},
 year = {2015},
 pages = {50},
 websites = {http://132.248.9.195/ptd2015/mayo/303146030/Index.html},
 institution = {Universidad Nacional Autónoma de México},
 id = {3a4b26f0-3663-38a9-b2e4-9504f61bcc3c},
 created = {2020-10-14T22:29:12.261Z},
 file_attached = {false},
 profile_id = {f2e90b0f-2cbb-3c52-916c-72e563eb0954},
 group_id = {06c99025-9a18-3c66-8535-8639dc6cd5c5},
 last_modified = {2020-10-14T22:29:12.261Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {Linares-Arevalo2015},
 private_publication = {false},
 bibtype = {phdthesis},
 author = {Linares-Arévalo, P. Selene},
 keywords = {asistentes de prueba,coq,deduccion natural,lógica modal}
}

{"_id":"2Wa4XJYYta27EWTNX","bibbaseid":"linaresarvalo-deduccinnaturalenlgicamodalunaimplementacinencoq-2015","authorIDs":[],"author_short":["Linares-Arévalo, P., S."],"bibdata":{"title":"Deducción Natural en Lógica Modal: una implementación en Coq.","type":"phdthesis","year":"2015","pages":"50","websites":"http://132.248.9.195/ptd2015/mayo/303146030/Index.html","institution":"Universidad Nacional Autónoma de México","id":"3a4b26f0-3663-38a9-b2e4-9504f61bcc3c","created":"2020-10-14T22:29:12.261Z","file_attached":false,"profile_id":"f2e90b0f-2cbb-3c52-916c-72e563eb0954","group_id":"06c99025-9a18-3c66-8535-8639dc6cd5c5","last_modified":"2020-10-14T22:29:12.261Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"Linares-Arevalo2015","private_publication":false,"bibtype":"phdthesis","author":"Linares-Arévalo, P. Selene","keywords":"asistentes de prueba,coq,deduccion natural,lógica modal","bibtex":"@phdthesis{\n title = {Deducción Natural en Lógica Modal: una implementación en Coq.},\n type = {phdthesis},\n year = {2015},\n pages = {50},\n websites = {http://132.248.9.195/ptd2015/mayo/303146030/Index.html},\n institution = {Universidad Nacional Autónoma de México},\n id = {3a4b26f0-3663-38a9-b2e4-9504f61bcc3c},\n created = {2020-10-14T22:29:12.261Z},\n file_attached = {false},\n profile_id = {f2e90b0f-2cbb-3c52-916c-72e563eb0954},\n group_id = {06c99025-9a18-3c66-8535-8639dc6cd5c5},\n last_modified = {2020-10-14T22:29:12.261Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {Linares-Arevalo2015},\n private_publication = {false},\n bibtype = {phdthesis},\n author = {Linares-Arévalo, P. Selene},\n keywords = {asistentes de prueba,coq,deduccion natural,lógica modal}\n}","author_short":["Linares-Arévalo, P., S."],"urls":{"Website":"http://132.248.9.195/ptd2015/mayo/303146030/Index.html"},"bibbaseid":"linaresarvalo-deduccinnaturalenlgicamodalunaimplementacinencoq-2015","role":"author","keyword":["asistentes de prueba","coq","deduccion natural","lógica modal"],"downloads":0,"html":""},"bibtype":"phdthesis","creationDate":"2020-10-14T22:29:49.325Z","downloads":0,"keywords":["asistentes de prueba","coq","deduccion natural","lógica modal"],"search_terms":["deducci","natural","gica","modal","una","implementaci","coq","linares-arévalo"],"title":"Deducción Natural en Lógica Modal: una implementación en Coq.","year":2015}