-
中文图书1.吴文俊全集,博弈论、代数几何、图的平面嵌入卷,Game theory, algebraic geometry, and planar imbedding... O1-53/16
馆藏复本:2
可借复本:2 吴文俊著
科学出版社 2019
(0) 馆藏
-
中文图书2.吴文俊全集,数学机械化卷.Ⅴ,Mathematics mechanization.Ⅴ:数学机械化 O1-53/15
馆藏复本:1
可借复本:1 吴文俊著
科学出版社 2019
(0) 馆藏
-
中文图书3.吴文俊全集,数学机械化卷.Ⅱ,Mathematics mechanization.II:mechanical theorem proving in geometries:... O1-53/13
馆藏复本:2
可借复本:2 吴文俊著
科学出版社 2019
(0) 馆藏
-
中文图书4.吴文俊全集,数学机械化卷.Ⅲ,Mathematics mechanization.Ⅲ:数学机械化 O1-53/14
馆藏复本:1
可借复本:1 吴文俊著
科学出版社 2019
(0) 馆藏
-
中文图书5.吴文俊全集,数学机械化卷.Ⅳ,Mathematics mechanization.IV:几何定理机器证明的基本原理 O1-53/12
馆藏复本:2
可借复本:2 吴文俊著
科学出版社 2019
(0) 馆藏
-
中文图书6.吴文俊全集,附卷,Attached volume:回忆与纪念 K826.11=76/11
馆藏复本:1
可借复本:0 李邦河,高小山,李文林主编
科学出版社 2019
(0) 馆藏