MARC状态:审校 文献类型:西文图书 浏览次数:24
- 题名/责任者:
- Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving / by Wu Wen-tsun.
- 出版发行项:
- Beijing : Science Press ; Dordrecht ; Boston : Kluwer Academic Publishers, c2000.
- ISBN:
- 079235835X (hardcover : alk. paper : Kluwer)
- ISBN:
- 7030066863
- 载体形态项:
- xii, 420 p. : ill. ; 25 cm.
- 丛编说明:
- Mathematics and its applications ; v. 489
- 丛编统一题名:
- Mathematics and its applications (Kluwer Academic Publishers) ; v. 489.
- 个人责任者:
- Wu, Wen-tsun.
- 论题主题:
- Equations-Numerical solutions.
- 论题主题:
- Artificial intelligence.
- 中图法分类号:
- O18
- 书目附注:
- Includes bibliographical references (p. [392]-402) and index.
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 定位信息 | 书刊状态 |
O18/W959 | W0060417 | - | 外文图书样本库(401室) | 导航 | 可借 |
O18/W959 | W0060418 | - | 外文图书阅览室(401室) | 导航 | 可借 |
O18/W959 | W0060419 | - | 外文图书阅览室(401室) | 导航 | 可借 |
O18/W959 | W0060420 | - | 外文图书阅览室(401室) | 导航 | 可借 |
O18/W959 | W0060421 | - | 外文图书阅览室(401室) | 导航 | 可借 |
O18/W959 | W0060422 | - | 外文图书阅览室(401室) | 导航 | 可借 |
O18/W959 | W0060423 | - | 外文图书阅览室(401室) | 导航 | 可借 |
O18/W959 | W0060424 | - | 外文图书阅览室(401室) | 导航 | 可借 |
显示全部馆藏信息