Searching for "Presenting TSTP Proofs with Inference Web Tools." – 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.

Presenting TSTP Proofs with Inference Web Tools
by Paolo Pinheiro Da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nick Del Rio, Deborah Mcguinness
…Presenting TSTP Proofs with Inference Web Tools Paolo Pinheiro da Silva 1 , Geoff Sutcliffe 2…
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
… by Björn Pelzer and Ingo Glöckner, – Presenting TSTP Proofs with Inference Web Tools by Paulo Pinheiro da…
Add To MetaCart

Showing 1 through 2.

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