Searching for "The Annual SUMO Reasoning Prizes at CASC." – 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.

The Annual SUMO Reasoning Prizes at CASC
by Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac Articulate Software
…The Annual SUMO Reasoning Prizes at CASC Adam Pease1 , Geoff Sutcliffe2, Nick Siegel1 , Steven…
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
….00 Steven Trac, Geoff Sutcliffe and Adam Pease The Annual SUMO Reasoning Prizes at CASC 16.40 Thomas Raths…
Add To MetaCart

Showing 1 through 2.

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