图书馆

登录

书目详细信息： 几何定理机器证明的基本原理

书目信息  机读格式(MARC)

《几何定理机器证明的基本原理》

作品语种：	chi
出版国别：	CN 110000
题名责任者项：	几何定理机器证明的基本原理/.吴文俊编著
出版发行项：	北京:,科学出版社:,1984
载体形态项：	280页:;+19cm
丛编项：	计算机科学丛书
题名主题：	立体几何
中图分类：	O123
个人名称等同：	吴文俊编著
记录来源：	CN BAL

总体评分：（共0人）

我的评分：

收藏加入课程

相关资源

馆藏信息  附件信息  评论信息  相关借阅  借阅趋势  参考书目

借阅关系图

相关资源

二维码

《几何定理机器证明的基本原理》二维码