书目详细信息
： 吴文俊全集:Mathematics mechanization: machanical geometry theorem-proving, mechanical geometry probl
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5088-5550-9:CNY188.00 |
|---|---|
| 作品语种： | eng |
| 出版国别： | CN 110000 |
| 题名责任者项： | 吴文俊全集/.吴文俊著 |
| 出版发行项： | 北京:,科学出版社:,2019 |
| 载体形态项： | 10,414页:;+照片:;+24cm |
| 一般附注： | 国家出版基金项目 |
| 提要文摘： | 本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述，试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。 |
| 并列题名： | Complete works of Wu Wen-tsun eng |
| 题名主题： | 数学 文集 |
| 题名主题： | 数学理论 文集 |
| 中图分类： | O1-53 |
| 中图分类： | O1-0 |
| 个人名称等同： | 吴文俊 著 |
| 记录来源： | CN OLCC 20231129 |