书目信息 |
| 题名： |
非线性代数方程组与定理机器证明
|
|
| 作者： | 杨路 著 | |
| 分册： | ||
| 出版信息： | 上海 上海科技教育出版社 1996.09 |
|
| 页数： | 203页 | |
| 开本： | 20cm | |
| 丛书名： | 非线性科学丛书 | |
| 单 册： | ||
| 中图分类： | O241.7 ， TP18 ， O175.14 | |
| 科图分类： | 51.812 | |
| 主题词： | 非线性方程:代数方程-数值计算 , 代数方程:非线性方程-数值计算 , 数值计算-非线性方程:代数方程 , 定理证明 , 数学分析 | |
| 电子资源： | ||
| ISBN： | 7-5428-1379-X | |
| 000 | 01126nam2 2200349 45 | |
| 001 | 0198008727 | |
| 005 | 20020917082529.4 | |
| 010 | @a7-5428-1379-X@b精装@d￥14 | |
| 100 | @a19980212d1996 emky0chiy0121 ea | |
| 101 | 0 | @achi@deng |
| 102 | @aCN@b310000 | |
| 105 | @ay z 000yy | |
| 106 | @ar | |
| 200 | 10 | @a非线性代数方程组与定理机器证明@Afei xian xing dai shu fang cheng zu yu ding li ji qizheng ming@f杨 路等 著 |
| 210 | @a上海@c上海科技教育出版社@d1996.09 | |
| 215 | @a203页@d20cm | |
| 225 | 2 | @a非线性科学丛书@dAdvanced series in nonlinear science@zeng |
| 300 | @a上海市新闻出版局学术著作出版基金资助出版 | |
| 410 | 0 | @120010@a非线性科学丛书 |
| 510 | 1 | @aNonlinear algebraic equation system and automated theorem proving@zeng |
| 606 | @a非线性方程:代数方程-数值计算 | |
| 606 | @a代数方程:非线性方程-数值计算 | |
| 606 | @a数值计算-非线性方程:代数方程 | |
| 606 | @a定理证明 | |
| 606 | 0 | @a数学分析 |
| 690 | @aO241.7@v3 | |
| 690 | @aTP18@v3 | |
| 690 | @aO175.14 | |
| 692 | @a51.812@v2 | |
| 701 | 0 | @a杨路@Ayang lu@4著 |
| 801 | 0 | @aCN@bNLC@c19980225 |
| 905 | @f3@b247721-723@dO175.14@e1 | |
| 非线性代数方程组与定理机器证明/杨 路等 著.-上海：上海科技教育出版社，1996.09 |
| 203页；20cm.-(非线性科学丛书=Advanced series in nonlinear science) |
| 上海市新闻出版局学术著作出版基金资助出版 |
| ISBN 7-5428-1379-X(精装)：￥14 |
| ● |
| 相关链接 |
正题名：非线性代数方程组与定理机器证明
索取号：O175.14/1
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 247721 | 202477211 | 样本书库/4110070504/ [索取号:O175.14/1] | 在馆 | |
| 2 | 247722 | 202477220 | 理科库/ [索取号:O175.14/1] | 在馆 | |
| 3 | 247723 | 202477239 | 理科库/3110530903/ [索取号:O175.14/1] | 在馆 |