数学丛书.-.[现代数学基础丛书].[非线性代数方程组与定理机器证明].（吴文俊）

【文件属性】：

文件名称：数学丛书.-.[现代数学基础丛书].[非线性代数方程组与定理机器证明].（吴文俊）

文件大小：2.61MB

文件格式：PDF

更新时间：2012-04-11 19:01:19

非线性代数方程组与定理机器证明

非线性代数方程组与定理机器证明数学丛书.-.[现代数学基础丛书].[非线性代数方程组与定理机器证明].（吴文俊）