石赫,中科院数学与系统科学研究院研究员,主要研究方向为数学机械化

  • 格式:doc
  • 大小:25.50 KB
  • 文档页数:1

下载文档原格式

  / 1