-
中文图书1.方程求解与机器证明:基于MMP的问题求解 O122.2/G26
馆藏复本:5
可借复本:3 高小山[等]著
科学出版社 2006
(0) 馆藏 -
中文图书2.一元五次方程x5+a5x4+b5x3+c5x2+d5x+e5=0(e5≠0)破解 O122.2/S56
馆藏复本:3
可借复本:3 石泉,郑良飞著
国防工业出版社 2009
(0) 馆藏
馆藏复本:5
可借复本:3 高小山[等]著
科学出版社 2006
(0) 馆藏
馆藏复本:3
可借复本:3 石泉,郑良飞著
国防工业出版社 2009
(0) 馆藏