973理论推理第一页14

  • 文学的哲学——发生学札记
  • 我也去答题访问个人页 关注 展开全部 第一章:什么叫发生学? 发生学 (希腊语 φυλογένεση,φύλο,现代希腊语:fílo - 种系,性别和γεννήση,现代希腊语:jénnissi - 新生,诞生。也被称作系统发生。)是指在地球历史发展过程中生物种系的发生和发展。这个概念不单止用于动物种系的

  • 高小山简介及详细资料
  • 国家重点基础研究发展规划(973)项目:"数学机械化与自动推理平台",1999年-2003年,首席科学家。 国家杰出...数学也是高新技术的理论基础,这一点对信息科学与信息技术尤其重要。 计算机科学被认为是算法的科学,而...高小山于1999年获得香港求是基金会杰出青年学者奖、第四届亚洲计算机数学技术大会最佳论文奖等许多荣誉。