A second-order theorem prover applied to circumscription. Beeson, M. In Gore, R., Leitsch, A., & Nipkow, T., editors, Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 2001, Proceedings, volume 2083, pages 318-324, 2001. Springer-Verlag.
![A second-order theorem prover applied to circumscription [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @inproceedings{beeson2001b,
author = {Michael Beeson},
booktitle = {Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 2001, Proceedings},
date-added = {2014-11-13 23:38:15 +0000},
date-modified = {2014-11-14 19:30:37 +0000},
editor = {Rajeev Gore and Alexander Leitsch and Tobias Nipkow},
keywords = {Automated deduction},
pages = {318-324},
publisher = {Springer-Verlag},
title = {A second-order theorem prover applied to circumscription},
url_pdf = {circumscription.pdf},
volume = {2083},
year = {2001}}Downloads: 0
{"_id":"3tHJ3xrRPnuqhxbHh","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-asecondordertheoremproverappliedtocircumscription-2001","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 2001, Proceedings","date-added":"2014-11-13 23:38:15 +0000","date-modified":"2014-11-14 19:30:37 +0000","editor":[{"firstnames":["Rajeev"],"propositions":[],"lastnames":["Gore"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Leitsch"],"suffixes":[]},{"firstnames":["Tobias"],"propositions":[],"lastnames":["Nipkow"],"suffixes":[]}],"keywords":"Automated deduction","pages":"318-324","publisher":"Springer-Verlag","title":"A second-order theorem prover applied to circumscription","url_pdf":"circumscription.pdf","volume":"2083","year":"2001","bibtex":"@inproceedings{beeson2001b,\n\tauthor = {Michael Beeson},\n\tbooktitle = {Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 2001, Proceedings},\n\tdate-added = {2014-11-13 23:38:15 +0000},\n\tdate-modified = {2014-11-14 19:30:37 +0000},\n\teditor = {Rajeev Gore and Alexander Leitsch and Tobias Nipkow},\n\tkeywords = {Automated deduction},\n\tpages = {318-324},\n\tpublisher = {Springer-Verlag},\n\ttitle = {A second-order theorem prover applied to circumscription},\n\turl_pdf = {circumscription.pdf},\n\tvolume = {2083},\n\tyear = {2001}}\n\n","author_short":["Beeson, M."],"editor_short":["Gore, R.","Leitsch, A.","Nipkow, T."],"key":"beeson2001b","id":"beeson2001b","bibbaseid":"beeson-asecondordertheoremproverappliedtocircumscription-2001","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/circumscription.pdf"},"keyword":["Automated deduction"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:50.003Z","downloads":0,"keywords":["automated deduction"],"search_terms":["second","order","theorem","prover","applied","circumscription","beeson"],"title":"A second-order theorem prover applied to circumscription","year":2001,"dataSources":["v9esbf6gQ8h64d3NA"]}