DMCA

THF0 – the core of the TPTP language for higher-order logic

by Christoph Benzmüller , Florian Rabe , Geoff Sutcliffe
Venue:Automated Reasoning, 4th International Joint Conference, IJCAR 2008
Citations:14 - 1 self