书目信息 |
| 题名： |
方程求解与机器证明
|
|
| 作者： | 高小山 著 | |
| 分册： | ||
| 出版信息： | 北京 科学出版社 2006.09 |
|
| 页数： | 279页 | |
| 开本： | 24cm | |
| 丛书名： | 数学机械化丛书 | |
| 单 册： | ||
| 中图分类： | O122.2 | |
| 科图分类： | ||
| 主题词： | 初等数学 | |
| 电子资源： | ||
| ISBN： | 7-03-017862-9 | |
| 000 | 00647 nam 000229 | |
| 001 | 0100002075 | |
| 005 | 20070901154741.57 | |
| 010 | @a7-03-017862-9@dCNY55.00 | |
| 100 | @a20070807d2006 em y0chiy0121 ea | |
| 101 | @achi | |
| 102 | @aCN@b110000 | |
| 105 | @ay z 000yy | |
| 200 | 10 | @a方程求解与机器证明@9fang cheng qiu jie yu ji qi zheng ming@e基于MMP的问题求救@f高小山著@Fgao xiao shan zhu |
| 210 | @a北京@c科学出版社@d2006.09 | |
| 215 | @a279页@d24cm | |
| 225 | @a数学机械化丛书 | |
| 606 | @a初等数学 | |
| 690 | @aO122.2@v4 | |
| 701 | 0 | @a高小山@9gao xiao shan@4著 |
| 801 | @aCN@c20070901 | |
| 901 | @a000003 | |
| 905 | @dO122.2@eG190 | |
| 方程求解与机器证明：基于MMP的问题求救/高小山著.-北京：科学出版社，2006.09 |
| 279页；24cm.-(数学机械化丛书) |
| ISBN 7-03-017862-9：CNY55.00 |
| ● |
| 相关链接 |
|
|
|
正题名：方程求解与机器证明
索取号：O122.2/G190
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 644488 | 206444882 | 自科库401/401自科库 105排9列1层/ [索取号:O122.2/G190] | 在馆 | |
| 2 | 644489 | 206444891 | 自科库401/401自科库 105排9列1层/ [索取号:O122.2/G190] | 在馆 |