-
中文图书1.不等式机器证明与自动发现 O178-39/Y20
馆藏复本:3
可借复本:3 杨路,夏壁灿著
科学出版社 2008
(0) 馆藏 -
中文图书2.不等式机器证明与自动发现 O178-39/Y20#1
馆藏复本:2
可借复本:2 杨路,夏壁灿著
科学出版社 2008
(0) 馆藏
馆藏复本:3
可借复本:3 杨路,夏壁灿著
科学出版社 2008
(0) 馆藏
馆藏复本:2
可借复本:2 杨路,夏壁灿著
科学出版社 2008
(0) 馆藏