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