首页| English| 中国科学院
当前位置：首页>科研成果>实验室主要在研项目>已结束项目

“973”计划项目“数学机械化与自动推理平台”

副标题：

时间：2014-06-23  来源：数学机械化重点实验室

项目负责人：高小山

项目执行时间：1998.01-2002.12

   经费来源：科技部

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