MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Manfred Kerber – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 72 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Towards an Open System for Theorem Proving  
  • by Manfred Kerber, Manfred Kerber — 1998
  • …: http://www.cs.bham.ac.uk/ Towards an Open System for Theorem Proving Manfred Kerber Published as: Web…
  • Add To MetaCart
  • Some Aspects of Analogy in Mathematical Reasoning  
  • by Manfred Kerber, Manfred Kerber — 1989 — Analogical and Inductive Inference; International Workshop AII '89, Reinhardsbrunn Castle, GDR
  • …://js-sfbsun.cs.uni-sb.de/pub/www/ Some Aspects of Analogy in Mathematical Reasoning Manfred Kerber Published as: In Klaus P. Jantke, ed…
  • Cited by 3 (2 self) – Add To MetaCart
  • Prisoners of Reason  
  • by Manfred Kerber School, Manfred Kerber
  • …Prisoners of Reason Manfred Kerber School of Computer Science, The University of Birmingham…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB