题名:
非线性代数方程组与定理机器证明
/ 杨路等著 ,
ISBN:
7-5428-1379-X 价格： 7.80
中图分类法:
O-51 版次：
索书号:
O-51/1:30