书目信息 |
| 题名： |
机械化数学引论
|
|
| 作者： | 石赫 著 | |
| 分册： | ||
| 出版信息： | 长沙 湖南教育出版社 1998.12 |
|
| 页数： | 225页 | |
| 开本： | 19cm | |
| 丛书名： | 现代数学书丛 | |
| 单 册： | ||
| 中图分类： | O1-0 ， O156 | |
| 科图分类： | 51.37 | |
| 主题词： | 数学理论--研究 , 机器证明--研究 , 代数 , 数论 , 组合数学 | |
| 电子资源： | ||
| ISBN： | 7-5355-2605-5 | |
| 000 | 00776nam2 2200313 45 | |
| 001 | 0199026720 | |
| 005 | 20020917080657.9 | |
| 010 | @a7-5355-2605-5@d￥10 | |
| 100 | @a19990428d1998 kemy0chiy0121 ea | |
| 101 | 0 | @achi |
| 102 | @aCN@b430000 | |
| 105 | @ay z 000yy | |
| 106 | @ar | |
| 200 | 1 | @a机械化数学引论@Aji xie hua shu xue yin lun@f石 赫著 |
| 210 | @a长沙@c湖南教育出版社@d1998.12 | |
| 215 | @a225页@d19cm | |
| 225 | 2 | @a现代数学书丛 |
| 410 | 0 | @12001 @a现代数学书丛 |
| 606 | @a数学理论@x研究 | |
| 606 | @a机器证明@x研究 | |
| 606 | 0 | @a代数 |
| 606 | 0 | @a数论 |
| 606 | 0 | @a组合数学 |
| 690 | @aO1-0@v3 | |
| 690 | @aO156 | |
| 692 | @a51.37@v2 | |
| 701 | 0 | @a石赫@Ashi he@4著 |
| 801 | 0 | @aCN@bNLC@c19990510 |
| 905 | @f3@b247873-875@dO156@e22 | |
| 机械化数学引论/石 赫著.-长沙：湖南教育出版社，1998.12 |
| 225页；19cm.-(现代数学书丛) |
| ISBN 7-5355-2605-5：￥10 |
| ● |
| 相关链接 |
正题名：机械化数学引论
索取号：O156/22
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 247873 | 202478737 | 样本书库/4110050306/ [索取号:O156/22] | 在馆 | |
| 2 | 247874 | 202478746 | 理科库/3110520104/ [索取号:O156/22] | 在馆 | |
| 3 | 247875 | 202478755 | 理科库/3110520104/ [索取号:O156/22] | 在馆 |