-
中文图书1.可剖形在欧氏空间中的实现问题 51.59/234
馆藏复本:20
可借复本:20 吴文俊著
科学出版社 1978.5
(0) 馆藏 -
中文图书2.几何定理机器证明的基本原理:初等几何部分 73.87081/133Q1
馆藏复本:5
可借复本:5 吴文俊著
科学出版社 1984.8
(0) 馆藏 -
中文图书3.现代数学新进展 51/234
馆藏复本:5
可借复本:5 吴文俊主编
安徽科技出版社 1988.12
(0) 馆藏 -
中文图书4.吴文俊全集,数学机械化卷.Ⅲ,Mathematics mechanization.Ⅲ,数学机械化 O1-53/W851/2:3
馆藏复本:2
可借复本:2 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书5.王者之路:机器证明及其应用 O1-0/W851
馆藏复本:2
可借复本:2 吴文俊主编
湖南科学技术出版社 1999
(0) 馆藏 -
中文图书6.吴文俊全集,数学史卷,History of mathematics O1-53/W851/4
馆藏复本:1
可借复本:1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书7.吴文俊全集,数学机械化卷.II,Mathematics mechanization.II O1-53/W851/2:2
馆藏复本:1
可借复本:1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书8.吴文俊全集,拓扑学卷.Ⅰ,Topology.Ⅰ O1-53/W851/3:1
馆藏复本:1
可借复本:1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书9.吴文俊全集,拓扑学卷.Ⅱ,Topology.Ⅱ:a theory of imbedding, immersion, and isotopy of polytopes in... O1-53/W851/3:2
馆藏复本:1
可借复本:1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书10.吴文俊全集,拓扑学卷.Ⅲ,Topology.Ⅲ:可剖形在欧氏空间中的实现问题 O1-53/W851/3:3
馆藏复本:1
可借复本:1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书11.吴文俊全集,数学机械化卷.Ⅳ,Mathematics mechanization.Ⅳ,几何定理机器证明的基本原理 O1-53/W851/2:4
馆藏复本:1
可借复本:1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书12.流域水污染防治规划决策支持系统:方法与实证 X52/J388
馆藏复本:3
可借复本:3 蒋洪强 ... [等] 著
中国水利水电出版社 2016
(0) 馆藏 -
中文图书13.SPARROW地表水质模型:理论方法与应用指南 P343/S843
馆藏复本:3
可借复本:3 (美) G. E. Schwarz ... [等] 著
中国环境科学出版社 2012
(0) 馆藏 -
中文图书14.中国数学史大系.第一卷,上古到西汉 O112/W851/1
馆藏复本:3
可借复本:3 吴文俊主编
北京师范大学出版社 1998
(0) 馆藏 -
中文图书15.中国数学史大系.副卷第一卷,早期数学文献 O112/W851-2/1
馆藏复本:2
可借复本:2 吴文俊主编
北京师范大学出版社 2004
(0) 馆藏 -
中文图书16.中国数学史大系.第五卷,两宋 O112/W851/5
馆藏复本:3
可借复本:3 吴文俊主编
北京师范大学出版社 2000
(0) 馆藏 -
中文图书17.中国数学史大系.副卷第二卷,中国算学书目汇编 O112/W851-2/2
馆藏复本:3
可借复本:3 吴文俊主编
北京师范大学出版社 2000
(0) 馆藏 -
中文图书18.中国数学史大系.第7卷,明末到清中期 O112/W851/7
馆藏复本:3
可借复本:3 吴文俊主编
北京师范大学出版社 2000
(0) 馆藏 -
中文图书19.数学机械化 O1/W851
馆藏复本:8
可借复本:8 吴文俊著
科学出版社 2002.12
(1) 馆藏 -
中文图书20.世界著名科学家传记.1,数学家 50.4/214Q2
馆藏复本:3
可借复本:3 卢嘉锡主编
科学出版社 1990.8
(0) 馆藏
上一页 1 / 2 下一页 到第 页

