MARC状态：已编 文献类型：中文图书 浏览次数：17
- 题名/责任者:
- 吴文俊全集·数学机械化卷IV 吴文俊著
- 出版发行项:
- 北京:龙门书局,2019
- ISBN及定价:
- 978-7-5088-5553-0/CNY128.00
- 载体形态项:
- 234页;24cm
- 中图法分类号:
- O1-53
- 一般附注:
- 本书适用于数学工作者和计算机科学工作者以及高等院校有关专业的师生
- 提要文摘附注:
- 本书共分六章，前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题，第3章为几何定理证明的机械化与Hilbert机械化定理，第4、5章分别为（常用）无序几何的机械化定理和(常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| O1-53/2 | 1657747 |  自然科学书库-四楼西北
|
可借 | 自然科学书库-四楼西北 |
显示全部馆藏信息