-
中文图书1.吴文俊全集,数学机械化卷.Ⅲ,Mathematics mechanization.Ⅲ,数学机械化 O1-53/W851/2:3
馆藏复本:2
可借复本:2 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书2.吴文俊全集,数学史卷,History of mathematics O1-53/W851/4
馆藏复本:1
可借复本:1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书3.吴文俊全集,数学机械化卷.II,Mathematics mechanization.II O1-53/W851/2:2
馆藏复本:1
可借复本:1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书4.吴文俊全集,拓扑学卷.Ⅰ,Topology.Ⅰ O1-53/W851/3:1
馆藏复本:1
可借复本:1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书5.吴文俊全集,拓扑学卷.Ⅱ,Topology.Ⅱ:a theory of imbedding, immersion, and isotopy of polytopes in... O1-53/W851/3:2
馆藏复本:1
可借复本:1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书6.吴文俊全集,拓扑学卷.Ⅲ,Topology.Ⅲ:可剖形在欧氏空间中的实现问题 O1-53/W851/3:3
馆藏复本:1
可借复本:1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书7.吴文俊全集,数学机械化卷.Ⅳ,Mathematics mechanization.Ⅳ,几何定理机器证明的基本原理 O1-53/W851/2:4
馆藏复本:1
可借复本:1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书8.吴文俊全集,附卷,Attached volume:回忆与纪念 O1-53/W851/1
馆藏复本:1
可借复本:1 李邦河, 高小山, 李文林主编
龙门书局 2019
(0) 馆藏