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

【文件属性】：

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

文件大小：4.84MB

文件格式：PDF

更新时间：2012-08-05 14:35:52

非线性科学，定理机器证明

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