Higher-Order Automated Theorem Provers (bibtex)
by Christoph Benzmüller
Reference:
Higher-Order Automated Theorem Provers (Christoph Benzmüller), Chapter in All about Proofs, Proof for All (David Delahaye, Bruno Woltzenlogel Paleo, eds.), College Publications, Mathematical Logic and Foundations, pp. 171-214, 2015. (publisher)
Bibtex Entry:
@incollection{B14,
  Address =	 {London, UK},
  Author =	 {Christoph Benzm\"uller},
  Booktitle =	 {All about Proofs, Proof for All},
  Comment =	 {<a
                  href="http://www.collegepublications.co.uk/logic/mlf/?00023"
                  target="_blank " target="_blank">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 =		 {http://christoph-benzmueller.de/papers/B14.pdf},
  Year =	 2015,
}
Powered by bibtexbrowser