MARC状态：审校 文献类型：中文图书 浏览次数：74
- 题名/责任者:
- 计算机怎样解几何题:谈谈自动推理/张景中著
- 出版发行项:
- 北京:清华大学出版社,2000
- ISBN及定价:
- 7-81029-930-1/CNY15.00
- 载体形态项:
- xiv, 195页:图;21cm
- 其它题名:
- 谈谈自动推理
- 丛编项:
- 院士科普书系.第一辑;4
- 个人责任者:
- 张景中 1936- 著
- 学科主题:
- 自然科学-普及读物
- 学科主题:
- 机器证明-普及读物
- 学科主题:
- 人工智能-普及读物
- 中图法分类号:
- N49
- 一般附注:
- 国家重点图书
- 书目附注:
- 有书目(第193-195页)
- 提要文摘附注:
- 本书结合实例向读者介绍人怎样用计算机解几何题，直观、生动有趣。读者还可以按照本书的指导，自己动手在计算机上解几项题目。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| N49/35 | C000130365 | 2000 |  理科阅览区
|
可借 | 总服务台 |
| N49/35 | C000130366 | 2000 | 理科阅览区
|
可借 | 总服务台 |
| N49/35 | C000130367 | 2000 | 理科阅览区
|
可借 | 总服务台 |
显示全部馆藏信息