-
中文图书1.计算机代数 TP301.6/146
馆藏复本:9
可借复本:1 王东明,夏壁灿编著
清华大学出版社 2004
(0) 馆藏 -
中文图书2.不等式机器证明与自动发现 O178-39/460
馆藏复本:4
可借复本:3 杨路,夏壁灿著
科学出版社 2008
(0) 馆藏 -
中文图书3.计算机代数.2版 TP301.6/146/2
馆藏复本:5
可借复本:0 王东明, 夏壁灿, 李子明编著
清华大学出版社 2007
(0) 馆藏