检索到 29 条 责任者=吴文俊, 的结果
-
中文图书1.中国古代数学家秦九韶与《数书九章》研究 O112/602.3
馆藏复本：4
可借复本：4 吴文俊著
哈尔滨工业大学出版社 2021
(0) 馆藏 -
中文图书2.中国古代数学家刘徽数学思想研究 O112/602.4
馆藏复本：2
可借复本：2 吴文俊主编
哈尔滨工业大学出版社 2020
(0) 馆藏 -
中文图书3.吴文俊全集,数学机械化卷.Ⅴ,Mathematics mechanization.Ⅴ:数学机械化 O1-53/602:V11
馆藏复本：1
可借复本：0 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书4.吴文俊全集,数学机械化.Ⅲ,Mathematics mechanization.Ⅲ O1-53/602:V10
馆藏复本：1
可借复本：1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书5.吴文俊全集,数学思想卷,Mathematical thoughts O1-53/602:V9
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书6.吴文俊全集,数学机械化卷.Ⅱ,Mathematics mechanization.II:mechanical theorem proving in geometries:... O1-53/602:V5
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书7.吴文俊全集,博弈论、代数几何、图的平面嵌入卷,Game theory, algebraic geometry, and planar imbedding... O1-53/602:V6
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书8.吴文俊全集,拓扑学卷.Ⅰ,Topology.I O1-53/602:V8
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书9.吴文俊全集,数学机械化卷.Ⅳ,Mathematics mechanization.IV:几何定理机器证明的基本原理 O1-53/602:V7
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书10.吴文俊全集,数学史卷,History of mathematics O1-53/602:V4
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书11.吴文俊全集,拓扑学卷.Ⅲ,Topology.Ⅲ:可剖形在欧氏空间中的实现问题 O1-53/602
馆藏复本：1
可借复本：1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书12.吴文俊全集,拓扑学卷.Ⅱ,Topology.II:a theory of imbedding, immersion, and isotopy of polytopes in... O1-53/602:V2
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书13.吴文俊全集,数学机械化卷.Ⅰ,Mathematics mechanization.I O1-53/602:V3
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书14.Menelaus定理 O123.1/602
馆藏复本：2
可借复本：2 吴文俊著
哈尔滨工业大学出版社 2016
(0) 馆藏 -
中文图书15.计算机基础实用教程 TP3/6021
馆藏复本：5
可借复本：2 吴文俊主编
武汉大学出版社 2014
(0) 馆藏 -
中文图书16.高等教育制度经济学分析 G640/602
馆藏复本：2
可借复本：2 吴文俊著
安徽师范大学出版社 2011
(0) 馆藏 -
中文图书17.可剖形在欧氏空间中的实现问题 O189.3/602
馆藏复本：3
可借复本：3 吴文俊著
科学出版社 1978
(0) 馆藏 -
中文图书18.世界著名科学家传记：数学家：v3 K816.1/602*1
馆藏复本：2
可借复本：0 吴文俊主编
科学出版社 1992.5
(0) 馆藏 -
中文图书19.陈省身与中国数学 K837.126.11/792
馆藏复本：4
可借复本：3 吴文俊，葛墨林主编
南开大学出版社 2007
(0) 馆藏 -
中文图书20.几何定理机器证明的基本原理∶初等几何部分 O123/602.2
馆藏复本：3
可借复本：0 吴文俊著
科学出版社 1984.8
(0) 馆藏
