书目信息 |
| 题名： |
方程求解与机器证明
|
|
| 作者： | 王定康 ， 裘宗燕 ， 高小山 ， 杨宏 著 | |
| 分册： | ||
| 出版信息： | 北京 科学出版社 2006.09 |
|
| 页数： | 279页 | |
| 开本： | 25cm | |
| 丛书名： | 数学机械化丛书 | |
| 单 册： | ||
| 中图分类： | O122.2-39 | |
| 科图分类： | ||
| 主题词： | 方程--fang cheng--求解--数学软件--MMP | |
| 电子资源： | ||
| ISBN： | 7-03-017862-9 | |
| 000 | 01039cam 2200301 450 | |
| 001 | 22327 | |
| 005 | 20070409174217.65 | |
| 010 | @a7-03-017862-9@b精装@dCNY55.00 | |
| 100 | @a20061012d2006 em y0chiy50 ea | |
| 101 | 0 | @achi |
| 102 | @aCN@b110000 | |
| 105 | @aak a 001yy | |
| 200 | 1 | @a方程求解与机器证明@Afang cheng qiu jie yu ji qi zheng ming@e基于MMP的问题求解@f高小山等著@Fgao xiao shan deng zhu |
| 210 | @a北京@c科学出版社@d2006.09 | |
| 215 | @a279页@c图@d25cm | |
| 225 | 2 | @a数学机械化丛书@Ashu xue ji xie hua cong shu@v7 |
| 304 | @a题名页题: 高小山, 王定康, 裘宗燕, 杨宏著 | |
| 320 | @a有书目 (第254-258页) 和索引 | |
| 410 | 0 | @12001 @a数学机械化丛书@v7 |
| 517 | 1 | @a基于MMP的问题求解@Aji yu MMP de wen ti qiu jie |
| 606 | 0 | @a方程@Afang cheng@x求解@x数学软件@xMMP |
| 690 | @aO122.2-39@v4 | |
| 701 | 0 | @a王定康@AWang Ding Kang@4著 |
| 701 | 0 | @a裘宗燕@AQiu Zong Yan@4著 |
| 701 | 0 | @a高小山@Agao xiao shan@4著 |
| 701 | 0 | @a杨宏@AYang Hong@4著 |
| 801 | 0 | @aCN@bXYTS@c20070409 |
| 905 | @a241250@dO122.2-39@e1 | |
| 方程求解与机器证明：基于MMP的问题求解/高小山等著.-北京：科学出版社，2006.09 |
| 279页：图；25cm.-(数学机械化丛书；7) |
| ISBN 7-03-017862-9(精装)：CNY55.00 |
| ● |
| 相关链接 |
正题名：方程求解与机器证明
索取号：O122.2-39/1
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 0897717 | 208977179 | 样本书库/1120090407/ [索取号:O122.2-39/1] | 在馆 | |
| 2 | 0897718 | 208977188 | 理科库/3110481201/ [索取号:O122.2-39/1] | 在馆 | |
| 3 | 0897719 | 208977197 | 理科库/3110481203/ [索取号:O122.2-39/1] | 在馆 | |
| 4 | 0897720 | 208977204 | 理科库/3110481201/ [索取号:O122.2-39/1] | 在馆 | |
| 5 | 0897721 | 208977213 | 理科库/3110481203/ [索取号:O122.2-39/1] | 在馆 |