机读格式显示(MARC)

• 000 01969cam 2200601 450

• 000 0000107825

• 001 0000088305

• 005 20020724094759.0

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

• 020 __ |b k9700650

• 099 __ |a CAL 012000135968

• 100 __ |a 19980115d1996 fk y0chiy0120 ea

• 101 0_ |a chi |a eng

• 102 __ |a CN |b 310000

• 105 __ |a y a 001yy

• 106 __ |a r

• 200 1_ |a 非线性代数方程组与定理机器证明 |A fei xian xing dai shu fang cheng zu yu ding li ji qi zheng ming |f 杨路,张景中,侯晓荣著

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

• 215 __ |a 203页 |d 20cm

• 225 2_ |a 非线性科学丛书

• 300 __ |a 英文书名: Nonlinear algebraic equation system and automated theorem proving. -- 英文内容提要. -- 附录: A. 用MAPLE实现的WR程序; B. 用MAPLE实现的GPS程序; C. 用MAPLE实现的WRSOLVE程序; 索引; 科学家中外译名对照表; 参考文献

• 320 __ |a 书目(第198-203页)和索引

• 410 _0 |1 2001 |a 非线性科学丛书

• 510 10 |a Nonlinear algebraic equation system and automated theorem proving |z eng

• 513 1_ |a Nonlinear Algebraic Equation System and Automated Theorem Proving |z eng

• 606 __ |a 机器证明--代数方程:非线性方程

• 606 __ |a 非线性方程:代数方程--机器证明

• 606 __ |a 代数方程:非线性方程--机器证明

• 690 __ |a O175 |v 3

• 692 __ |a 51.63 |v 3

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

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

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

• 801 _0 |a CN |b CAU |c 20020724

• 901 __012002013821

• 905 __ |a CAU |d O175/21

• 907 __ |a CAU |f O175/21

• 920 __ |a 222010 |z 1

• 920 __ |a 211260 |z 2

• 920 __ |a 231220 |z 1

• 920 __ |a 244010 |z 1

• 920 __ |a 211130 |z 1

• 920 __ |a 211060 |z 1

• 920 __ |a 231100 |z 2

• 920 __ |a 231020 |z 1

• 920 __ |a 251010 |z 1

• 920 __ |a 261020 |z 1

• 920 __ |a 232020 |z 1

• 920 __ |a 211010 |b O175 |c 29 |z 1

• 920 __ |a 237040 |z 1

• 920 __ |a 231030 |z 1

• 998 __ |a PUL

• 999 __ |I zxww |i 20020724 09:47:59 |G zxww |g 20020724 10:52:2