Searching for "Integration of the TPTPWorld into SigmaKEE." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Integration of the TPTPWorld into SigmaKEE
by Steven Trac, Geoff Sutcliffe, Adam Pease
…Integration of the TPTPWorld into SigmaKEE Steven Trac 1 , Geoff Sutcliffe 1 , and Adam Pease 2 1…
Add To MetaCart

Practical Aspects of Automated Reasoning and Evaluation of Systems for Higher Order Logic
by Boris Konev, Renate Schmidt, Stephan Schulz, Boris Konev, Renate A. Schmidt, Stephan Schulz, Tu München — 2008
… for Proof Checking by Hans de Nivelle and Piotr Witkowski, – Integration of the TPTPWorld into SigmaKEE…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB