-
几何定理机器证明的基本原理初等几何部分
—吴文俊著
索书号：O123/00001
出版信息：科学出版社 1984.8 北京
-
吴文俊全集英文Ⅰ数学机械化卷
—吴文俊著
索书号：O1/00292/SXJXH1
标准编码：978-7-5088-5550-9
出版信息：科学出版社 龙门书局 2019.5 北京
主题词： 数学数学理论
-
吴文俊全集英文II数学机械化卷
—吴文俊著
索书号：O1/00292/SXJXH2
标准编码：978-7-5088-5551-6
出版信息：龙门书局 科学出版社 2019.5 北京
主题词： 数学几何学
-
吴文俊全集A THEORY OF IMBEDDING IMMERSION AND ISOTOPY OF POLYTOPES IN A EUCLIDEAN SPACEⅡ拓扑学卷
—吴文俊著
索书号：O1/00292/TPX2F1
标准编码：978-7-5088-5558-5
出版信息：龙门书局 科学出版社 2019.5 北京
主题词： 数学拓扑
-
吴文俊全集Ⅲ数学机械化
—吴文俊著
索书号：O1/00292/3
标准编码：978-7-5088-5552-3
出版信息：龙门书局 科学出版社 2019.5 北京
-
吴文俊全集Ⅳ数学机械化卷
—吴文俊著
索书号：O1/00292/SXJXH4
标准编码：978-7-5088-5553-0
出版信息：龙门书局 科学出版社 2019.5 北京
-
吴文俊全集英文Ⅰ拓扑学卷
—吴文俊著
索书号：O1/00292/TPX1
标准编码：978-7-5088-5559-2
出版信息：龙门书局 2019.5 北京
-
吴文俊全集V数学机械化卷
—吴文俊著
索书号：O1/00292/SXJX5
标准编码：978-7-5088-5554-7
出版信息：科学出版社 龙门书局 2019.5 北京
-
吴文俊全集Ⅳ拓扑学卷
—吴文俊著
索书号：O1/00292/TPX
标准编码：978-7-5088-5549-3
出版信息：科学出版社 2019.05 北京
主题词： 数学拓扑
-
吴文俊全集数学思想卷
—吴文俊著
索书号：O1/00292/SXSX
标准编码：978-7-5088-5555-4
出版信息：龙门书局 科学出版社 2019.5 北京