机读格式显示(MARC)
- 000 01313nam2 2200325 4500
- 010 __ |a 7-5428-1379-X |b 精装 |d ¥14
- 100 __ |a 19980212d1996 emky0chiy0121 ea
- 200 10 |a 非线性代数方程组与定理机器证明 |A fei xian xing dai shu fang cheng zu yu ding li ji qi zheng ming |f 杨路等著
- 210 __ |a 上海 |c 上海科技教育出版社 |d 1996.9
- 225 2_ |a 非线性科学丛书 |A fei xian xing ke xue cong shu |d Advanced series in nonlinear science |z eng
- 300 __ |a 上海市新闻出版局学术著作出版基金资助出版
- 410 _0 |1 20010 |a 非线性科学丛书
- 510 1_ |a Nonlinear algebraic equation system and automated theorem proving |z eng
- 606 __ |a 非线性方程:代数方程-数值计算 |A fei xian xing fang cheng : dai shu fang cheng - shu zhi ji suan
- 606 __ |a 代数方程:非线性方程-数值计算 |A dai shu fang cheng : fei xian xing fang cheng - shu zhi ji suan
- 606 __ |a 数值计算-非线性方程:代数方程 |A shu zhi ji suan - fei xian xing fang cheng : dai shu fang cheng
- 606 __ |a 定理证明 |A ding li zheng ming
- 701 _0 |a 杨路 |A yang lu |4 著
- 801 _0 |a CN |b NLC |c 19980225
- 905 __ |a HIEL |d O175/4601
- 999 __ |a 24 |b 5 |e 05077