中国科学院系统科学研究所

首页 | 中国科学院

数学机械化重点实验室成员的2篇论文被ACM ISSAC'07接受

发布时间：2007-04-11 | 来源：系统所

数学机械化重点实验室成员的2篇论文被ACM ISSAC'07接收。

相关推荐:

版权所有 © 中国科学院数学与系统科学研究院系统科学研究所
　京ICP备05002810号-1
地址：北京市海淀区中关村东路55号　邮编：100190
电话：86-10-82541881
网址：http://iss.amss.cas.cn　技术支持：青云软件