Searching for "Mechanized Reasoning for Continuous Problem Domains (Invited Talk)." – 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.

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
…) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Alessandro Armando Mechanized Reasoning for Continuous Problem Domains (invited talk) . . . 2 Rob…
Add To MetaCart

Showing 1 through 1.

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