非线性代数方程组与定理机器证明（杨路等）

【文件属性】：

文件名称：非线性代数方程组与定理机器证明（杨路等）

文件大小：4.84MB

文件格式：PDF

更新时间：2012-06-18 07:25:08

非线性代数

非线性代数方程组与定理机器证明（杨路等）。。。。。。。。。。。。。。