Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure (2010)

First Author: Geoff Sutcliffe (Author)
Attributed to:  LEO II: An Effective Higher-Order Theorem Prover funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://jfr.cib.unibo.it/article/view/1710

Type: Journal Article/Review

Volume: 3

Parent Publication: Journal of Formalized Reasoning

Issue: 1