Search: The Core Of The TPTP
2008
[1]THF0 -- The Core of the TPTP Language for Classical Higher-Order Logic (Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe), In Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings (Alessandro Armando, Peter Baumgartner, Gilles Dowek, eds.), Springer, LNCS, volume 5195, pp. 491-506, 2008. (Url (preprint): http://christoph-benzmueller.de/papers/C25.pdf) [bibtex] [doi]
Powered by bibtexbrowser