MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Learning Domain Knowledge to Improve Theorem Proving." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • The CADE-14 ATP System Competition  
  • by Christian Suttner, Geoff Sutcliffe — 1998 — Journal of Automated Reasoning
  • … of Automated Reasoning, 18(2):189--198, 1997. 2. J. Denzinger and S. Schulz. Learning Domain Knowledge…
  • Cited by 22 (4 self) – Add To MetaCart
  • The CADE-14 ATP System Competition  
  • by Dep't Of, Geoff Sutcliffe, Christian B. Suttner — 1998 — Journal of Automated Reasoning
  • … Reasoning, 18(2):189--198, 1997. [2] J. Denzinger and S. Schulz. Learning Domain Knowledge to Improve…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB