-
中文图书1.吴文俊全集,数学机械化卷.I,Mathematics mechanization.I O1/469:1
馆藏复本:2
可借复本:2 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书2.吴文俊全集,数学机械化卷.IV,Mathematics mechanization.IV:几何定理机器证明的基本原理 O1/467
馆藏复本:2
可借复本:2 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书3.吴文俊全集,拓扑学卷.III:可剖形在欧氏空间中的实现问题,Topology.III O189/66
馆藏复本:2
可借复本:2 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书4.吴文俊全集,数学机械化卷.II,Mathematics mechanization.II:mechanical theorem proving in geometries:... O1/470
馆藏复本:2
可借复本:2 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书5.吴文俊全集,拓扑学卷.II,Topology.II O189/65
馆藏复本:2
可借复本:2 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书6.吴文俊全集,数学史卷,History of mathematics O1/468
馆藏复本:2
可借复本:2 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书7.吴文俊全集,数学思想卷,Mathematical thoughts O1/463
馆藏复本:3
可借复本:3 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书8.吴文俊全集,博弈论、代数几何、图的平面嵌入卷,Game theory, algebrac geometry, and planar imbedding... O225/20
馆藏复本:3
可借复本:3 吴文俊著
龙门书局 2019
(0) 馆藏