检索到 11 条 责任者=高小山 的结果
-
中文图书1.世界小提琴名家:从帕格尼尼到21世纪:from Paganini to the 21st century K815.76/660
馆藏复本：2
可借复本：2 (美) 亨利·罗思著
上海音乐出版社 2019
(0) 馆藏 -
中文图书2.吴文俊全集,数学机械化卷.Ⅴ,Mathematics mechanization.Ⅴ:数学机械化 O1-53/602:V11
馆藏复本：1
可借复本：0 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书3.吴文俊全集,附卷,Attached volume:回忆与纪念 O1-53/453
馆藏复本：1
可借复本：0 李邦河, 高小山, 李文林主编
龙门书局 2019
(0) 馆藏 -
中文图书4.吴文俊全集,数学机械化卷.Ⅳ,Mathematics mechanization.IV:几何定理机器证明的基本原理 O1-53/602:V7
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书5.吴文俊全集,博弈论、代数几何、图的平面嵌入卷,Game theory, algebraic geometry, and planar imbedding... O1-53/602:V6
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书6.吴文俊全集,数学机械化卷.Ⅱ,Mathematics mechanization.II:mechanical theorem proving in geometries:... O1-53/602:V5
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书7.吴文俊全集,数学机械化卷.Ⅰ,Mathematics mechanization.I O1-53/602:V3
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书8.几何定理机器证明的几何不变量方法 O18/165
馆藏复本：1
可借复本：1 张景中, 高小山, 周咸青著
科学出版社 2015
(0) 馆藏 -
中文图书9.电脑操作系统安装和重装入门与提高 TP316/092
馆藏复本：5
可借复本：0 高小山，杨秋艳，吕伟臣编著
清华大学出版社 2009
(0) 馆藏 -
中文图书10.Delphi 2005入门与提高 TP312DE/627.3
馆藏复本：6
可借复本：0 吕伟臣，霍言，高小山编著
清华大学出版社 2006.4
(0) 馆藏 -
中文图书11.方程求解与机器证明:基于MMP的问题求解 O122.2/092
馆藏复本：6
可借复本：0 高小山[等]著
科学出版社 2006.9
(1) 馆藏
