首页| English| 中国科学院
当前位置：首页>新增>自动推理平台>消息发布

消息发布

副标题：

时间：2016-01-14  来源：
数学机械化自动推理平台

 

 

MMP3.0版本于2006年4月1日发布，可以在本网站下载
   
   

 

 

 

 

如果希望能收到有关自动推理平台的最新消息，请将你的电子邮件地址发到mmsoft@mmrc.iss.ac.cn

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