A Generic Proof Checker. Watson & N, G. Ph.D. Thesis, The University of Queensland, Queensland, Australia, 2002. bibtex @phdthesis{ watson2002,
author = {Watson, Geoffrey N},
title = {{A Generic Proof Checker}},
school = {The University of Queensland},
year = {2002},
address = {Queensland, Australia},
keywords = {#proof_theory},
mendeley-tags = {#proof_theory}
}
Downloads: 0
{"_id":{"_str":"5218856caa2f288d1f000285"},"__v":3,"authorIDs":[],"author_short":["Watson","N, G."],"bibbaseid":"watson-n-agenericproofchecker-2002","bibdata":{"address":"Queensland, Australia","author":["Watson","N, Geoffrey"],"author_short":["Watson","N, G."],"bibtex":"@phdthesis{ watson2002,\n author = {Watson, Geoffrey N},\n title = {{A Generic Proof Checker}},\n school = {The University of Queensland},\n year = {2002},\n address = {Queensland, Australia},\n keywords = {#proof_theory},\n mendeley-tags = {#proof_theory}\n}","bibtype":"phdthesis","id":"watson2002","key":"watson2002","keywords":"#proof_theory","mendeley-tags":"#proof_theory","school":"The University of Queensland","title":"A Generic Proof Checker","type":"phdthesis","year":"2002","bibbaseid":"watson-n-agenericproofchecker-2002","role":"author","urls":{},"keyword":["#proof_theory"],"downloads":0,"html":""},"bibtype":"phdthesis","biburl":"http://delicias.dia.fi.upm.es/prov-xgCURATED.bib","downloads":0,"keywords":["#proof_theory"],"search_terms":["generic","proof","checker","watson","n"],"title":"A Generic Proof Checker","title_words":["generic","proof","checker"],"year":2002,"dataSources":["drTBSwRdnSo2Wujnd"]}