Higher-Order Automated Theorem Provers. Benzmüller, C. In Delahaye, D. & Woltzenlogel Paleo, B., editors, All about Proofs, Proof for All, of Mathematical Logic and Foundations, pages 171-214. College Publications, London, UK, 2015.
![Higher-Order Automated Theorem Provers [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Preprint bibtex 2 downloads
Preprint bibtex 2 downloads @incollection{B14,
Address = {London, UK},
Author = {Christoph Benzm{\"u}ller},
Booktitle = {All about Proofs, Proof for All},
Comment = {<a href="http://www.collegepublications.co.uk/logic/mlf/?00023">publisher</a>},
Editor = {David Delahaye and Woltzenlogel Paleo, Bruno},
Isbn = {978-1-84890-166-7},
Keywords = {own, Automated Reasoning, Higher Order Logic},
Pages = {171-214},
Publisher = {College Publications},
Series = {Mathematical Logic and Foundations},
Title = {Higher-Order Automated Theorem Provers},
url_preprint = {http://christoph-benzmueller.de/papers/B14.pdf},
Year = 2015,
}Downloads: 2
{"_id":"rngRnbpfXeddGanxD","bibbaseid":"benzmller-higherorderautomatedtheoremprovers-2015","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"incollection","type":"incollection","address":"London, UK","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"booktitle":"All about Proofs, Proof for All","comment":"<a href=\"http://www.collegepublications.co.uk/logic/mlf/?00023\">publisher</a>","editor":[{"firstnames":["David"],"propositions":[],"lastnames":["Delahaye"],"suffixes":[]},{"propositions":[],"lastnames":["Woltzenlogel","Paleo"],"firstnames":["Bruno"],"suffixes":[]}],"isbn":"978-1-84890-166-7","keywords":"own, Automated Reasoning, Higher Order Logic","pages":"171-214","publisher":"College Publications","series":"Mathematical Logic and Foundations","title":"Higher-Order Automated Theorem Provers","url_preprint":"http://christoph-benzmueller.de/papers/B14.pdf","year":"2015","bibtex":"@incollection{B14,\n Address =\t {London, UK},\n Author =\t {Christoph Benzm{\\\"u}ller},\n Booktitle =\t {All about Proofs, Proof for All},\n Comment =\t {<a href=\"http://www.collegepublications.co.uk/logic/mlf/?00023\">publisher</a>},\n Editor =\t {David Delahaye and Woltzenlogel Paleo, Bruno},\n Isbn =\t {978-1-84890-166-7},\n Keywords =\t {own, Automated Reasoning, Higher Order Logic},\n Pages =\t {171-214},\n Publisher =\t {College Publications},\n Series =\t {Mathematical Logic and Foundations},\n Title =\t {Higher-Order Automated Theorem Provers},\n url_preprint = {http://christoph-benzmueller.de/papers/B14.pdf},\n Year =\t 2015,\n}\n\n","author_short":["Benzmüller, C."],"editor_short":["Delahaye, D.","Woltzenlogel Paleo, B."],"key":"B14","id":"B14","bibbaseid":"benzmller-higherorderautomatedtheoremprovers-2015","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/B14.pdf"},"keyword":["own","Automated Reasoning","Higher Order Logic"],"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"incollection","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","automated reasoning","higher order logic"],"search_terms":["higher","order","automated","theorem","provers","benzmüller"],"title":"Higher-Order Automated Theorem Provers","year":2015,"downloads":2}