MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Sun Kim" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 35 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • ModGen: Theorem Proving by Model Generation  
  • by Sun Kim, Sun Kim Hantao — 1994 — in Proc. National Conference of American Association on Artificial Intelligence (AAAI-94
  • …in the Proc. of AAAI-94, Seattle, July 1994. 1 ModGen: Theorem Proving by Model Generation Sun
  • Cited by 10 (1 self)Add To MetaCart
  • Genome comparisons based on profiles of metabolic pathways  
  • by Li Liao, Sun Kim, Jean-francois Tomb — 2002 — Proceedings of the 6th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES ’02
  • …Genome Comparisons Based on Profiles of Metabolic Pathways 1. Introduction Li Liao 1,∗ , Sun Kim 2…
  • Cited by 8 (0 self)Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB