Search: Automated Reasoning In Higher-Order Logic Using
2010
[1] Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure (Geoff Sutcliffe, Christoph Benzmüller), In Journal of Formalized Reasoning, volume 3, number 1, pp. 1-27, 2010. [bibtex] [pdf]
Powered by bibtexbrowser