MARC状态：已编 文献类型：中文图书 浏览次数：72
- 题名/责任者:
- 非线性代数方程组与定理机器证明/杨路,张景中,侯晓荣著
- 出版发行项:
- 上海:上海科技教育出版社,1996
- ISBN及定价:
- 7-5428-1379-X 精装/CNY14.00
- 载体形态项:
- 203页;20cm
- 丛编项:
- 非线性科学丛书
- 个人责任者:
- 张景中 著
- 个人责任者:
- 侯晓荣 著
- 个人责任者:
- 杨路 著
- 学科主题:
- 机器证明--代数方程:非线性方程
- 学科主题:
- 非线性方程:代数方程--机器证明
- 学科主题:
- 代数方程:非线性方程--机器证明
- 中图法分类号:
- O175
- 科图法分类号:
- 51.63
- 一般附注:
- 英文书名: Nonlinear algebraic equation system and automated theorem proving. -- 英文内容提要. -- 附录: A. 用MAPLE实现的WR程序; B. 用MAPLE实现的GPS程序; C. 用MAPLE实现的WRSOLVE程序; 索引; 科学家中外译名对照表; 参考文献
- 书目附注:
- 书目(第198-203页)和索引
- 随书光盘:
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
| O175/21 | E0008128 |  东6层3区
|
可借 | |
| O175/21 | E0086786 | 东6层3区
|
保留本 |
显示全部馆藏信息