西安工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态:已编 文献类型:中文图书 浏览次数:29

题名/责任者:
方程求解与机器证明:基于MMP的问题求解/高小山,王定康,裘宗燕著
出版发行项:
北京:科学出版社,2006
ISBN及定价:
7-03-017862-9 精装/CNY55.00
载体形态项:
12,279页;25cm
其它题名:
基于MMP的问题求解
丛编项:
数学机械化丛书;7
个人责任者:
高小山
个人责任者:
王定康
个人责任者:
裘宗燕
学科主题:
方程解
中图法分类号:
O122.2
一般附注:
其他题名:基于MMP的问题求解
提要文摘附注:
本书介绍了数学机械化软件平台MMP的基本功能与使用方法,通过MM平等运行实例介绍了数学机械化的基本理论与最新进展。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
O122.2/4 CN1252719   密集库1     可借
O122.2/4 CN1252720   密集库1     可借
O122.2/4 CN1252715   内阅图书     可借
O122.2/4 CN1252716   内阅图书     可借
O122.2/4 CN1252717   金花馆     可借
O122.2/4 CN1252718   金花馆     可借
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架