机读格式显示(MARC)

• 000 01165nam 2200313 450

• 001 0000253656

• 005 20031205091500.0

• 010 __ |a 7-5428-1379-X |b 精装 |d CNY14.00

• 099 __ |a CAL 012000521058

• 100 __ |a 19980114d1996 fkmy0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 310000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 非线性代数方程组和定理机器证明 |A fei xian xing dai shu fang cheng zu he ding li ji qi zheng ming |d = Nonlinear Algebraic Equation System And Automated Theorem Proving |f 杨路等著

• 210 __ |a 上海 |c 上海科技教育出版社 |d 1996

• 215 __ |a 203页 |d 20cm

• 225 2_ |a 非线性科学丛书 |A Fei Xian Xing Ke Xue Cong Shu |d Advanced series in nonlinear science |f 郝柏林主编

• 300 __ |a 上海市新闻出版局学术著作出版基金资助出版

• 410 _0 |1 2001 |a 非线性科学丛书 |1 701 0 |a 郝柏林主编

• 510 1_ |a Nonlinear Algebraic Equation System And Automated Theorem Proving |z eng

• 606 0_ |a 非线性 |A Fei Xian Xing |x 代数方程

• 690 __ |a N51 |v 4

• 701 _0 |a 杨路 |A yang lu |4 著

• 701 _0 |a 张景中 |A zhang jing zhong |4 著

• 701 _0 |a 候晓荣 |A hou xiao rong |4 著

• 801 _0 |a CN |b WUL

• 801 _2 |a CN |b JHUL |c 20031205

• 905 __ |a JHUL |d N51/2:2