|
书名：
|
方程求解与机器证明
|
|
|
作者：
|
高小山
著
|
|
出版信息：
|
北京
科学出版社
2006.09
|
|
开本页数：
|
24cm
279页
|
|
丛书名：
|
数学机械化丛书
|
|
单 册：
|
|
|
中图分类：
|
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]
|
在馆
|
|
