数学机械化自动推理平台

 

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

 

 

 

 

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