Searching for "Using the TPTP Language for Writing Derivations and Finite Interpretations." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Using the TPTP Language for Writing Derivations and Finite Interpretations
by Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder — 2006 — In Ulrich Fuhrbach and Natarajan Shankar, editors, Proc. of the 3rd IJCAR, Seattle, volume 4130 of LNAI
…Using the TPTP Language for Writing Derivations and Finite Interpretations Geoff Sutcliffe 1…
Cited by 7 (6 self) – Add To MetaCart

Showing 1 through 1.

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