云南翰文教育图书馆

登录

书目详细信息： 方程求解与机器证明:基于MMP的问题求解

书目信息  机读格式(MARC)

《方程求解与机器证明:基于MMP的问题求解》

ISBN/价格：	7-03-017862-9:CNY55.00
作品语种：	chi
出版国别：	CN 110000
题名责任者项：	方程求解与机器证明/.高小山[等]著
出版发行项：	北京:,科学出版社:,2006
载体形态项：	279页:;+24cm
丛编项：	数学机械化丛书
提要文摘：	本书介绍了数学机械化软件平台MMP的基本功能与使用方法，通过MM平等运行实例介绍了数学机械化的基本理论与最新进展。
题名主题：	数值计算应用软件
题名主题：	数值计算
题名主题：	应用软件
中图分类：	O122.2
个人名称等同：	高小山著

总体评分：（共0人）

我的评分：

收藏加入课程

相关资源

馆藏信息  附件信息  评论信息  相关借阅  借阅趋势  参考书目

借阅关系图

相关资源

二维码

《方程求解与机器证明:基于MMP的问题求解》二维码