MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Synthesis of Induction Orderings for Existence Proofs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 1 documents found, showing 1 through 1.
ATOM RSS
  • Synthesis of Induction Orderings for Existence Proofs  
  • by Dieter Hutter German, Dieter Hutter — 1994 — in Proc. of 12th International Conference on Automated Deduction
  • …Synthesis of Induction Orderings for Existence Proofs Dieter Hutter German Research Center…
  • Add To MetaCart
Help! Showing 1 through 1.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB