Searching for "Combining Theorem Proving with Natural Language Processing." – 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.

Combining Theorem Proving with Natural Language Processing
by Björn Pelzer, Ingo Glöckner
…Combining Theorem Proving with Natural Language Processing Björn Pelzer 1 and Ingo Glöckner 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
…KEE by Steven Trac, Geoff Sutcliffe and Adam Pease, – Combining Theorem Proving with Natural Language Processing…
Add To MetaCart

Showing 1 through 2.

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