-
中文图书1.吴文俊全集.附卷,回忆与纪念 K826.11/6002/ 3
馆藏复本:1
可借复本:0 李邦河, 高小山, 李文林主编
科学出版社 2019
(0) 馆藏 -
中文图书2.几何定理机器证明的几何不变量方法 O18-39/1265/ 1
馆藏复本:1
可借复本:1 张景中, 高小山, 周咸青著
科学出版社 2015
(0) 馆藏 -
中文图书3.方程求解与机器证明:基于MMP的问题求解 O122.2/0092
馆藏复本:3
可借复本:2 高小山 ... [等] 著
科学出版社 2006
(0) 馆藏 -
中文图书4.Delphi 2005入门与提高 TP311.56/6027/ 1
馆藏复本:5
可借复本:4 吕伟臣, 霍言, 高小山编著
清华大学出版社 2006
(0) 馆藏