数学院数学机械化重点实验室（中文）

实验室高小山研究员荣获第十一届“中创软件人才奖”

副标题：

时间：2006-12-15 来源：数学机械化重点实验室

高小山研究员荣获第十一届“中创软件人才奖”。“中创软件人才奖”是通过国家科学技术奖励工作办公室的正式认定的国内唯一专门面向软件领域的科学技术奖项。

相关附件

相关文档

Copyright©  中国科学院数学与系统科学研究院数学机械化重点实验室
地址：北京市海淀区中关村东路55号  邮编：100190
电话：86- 10-82541851  传真：86-10-82541809
京ICP备05002806号-1