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

数学机械化重点实验室接待中国科学院北京公众科学日参观者

副标题：

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

5月21日是中国科学院北京公众科学日。来自北京地区的大中小学师生参观了数学机械化重点实验室。实验室学生介绍了实验室的基本情况和学术进展，并进行了自动推理平台(MMP)软件演示，引起了参观者的浓厚兴趣。

相关附件

相关文档

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