检索到 6 条 责任者=高小山 的结果
-
中文图书1.吴文俊全集,数学机械化卷.V:mathematics mechanization.V O1/105:2
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书2.吴文俊全集,附卷,Attached volume:回忆与纪念 K826.11/19
馆藏复本：1
可借复本：1 李邦河, 高小山, 李文林主编
龙门书局 2019
(0) 馆藏 -
中文图书3.吴文俊全集,博弈论、代数几何、图的平面嵌入卷,Game theory, algebraic geometry, and planar imbedding... O1-53/25
馆藏复本：2
可借复本：2 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书4.The complete works of Wu Wen-Tsun,Mathematics mechanization.Ⅱ,数学机械化卷.Ⅱ O1/105:2.2
馆藏复本：1
可借复本：1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书5.吴文俊全集,数学机械化卷.Ⅳ,Mathematics mechanization.Ⅳ,几何定理机器证明的基本原理 O1/105:2.4
馆藏复本：2
可借复本：2 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书6.方程求解与机器证明:基于MMP的问题求解 O122.2/1
馆藏复本：3
可借复本：3 高小山[等]著
科学出版社 2006
(0) 馆藏
