机读格式显示(MARC)

• 000 01178nam2 2200361 4500

• 000 0000139922

• 001 0000098082

• 005 20070601095342.0

• 009 CRLN2006087801

• 010 __ |a 7-03-017862-9 |b 精装 |d CNY55.00

• 035 __ |a (033001)012006101821

• 100 __ |a 20070601d em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 001yy

• 106 __ |a r

• 200 1_ |a 方程求解与机器证明 |9 fang cheng qiu jie yu ji qi zheng ming |e 基于MMP的问题求解 |f 高小山[等]著

• 210 __ |a 北京 |c 科学出版社 |d 2006

• 215 __ |a 12,279页 |d 25cm

• 225 2_ |a 数学机械化丛书 |v 7

• 330 __ |a 本书介绍了数学机械化软件平台MMP的基本功能与使用方法，通过MM平等运行实例介绍了数学机械化的基本理论与最新进展。

• 461 _0 |1 2001 |a 数学机械化丛书 |v 7

• 517 1_ |a 基于MMP的问题求解 |9 ji yu MMP de wen ti qiu jie

• 606 0_ |a 方程解

• 690 __ |a O122.2 |v 4

• 701 _0 |a 裘宗燕 |9 qiu zong yan |4 著

• 701 _0 |a 高小山 |9 gao xiao shan |4 著

• 701 _0 |a 王定康 |9 wang ding kang |4 著

• 801 _0 |a CN |b |c 20070601

• 905 __ |a DQNU |d O122.2/G26

• 991 __

• 995 __ |a ST |f O122.2/G26 |s 5

• 999 __ |t C |A lmm |a 20070601 09:53:20 |M lmm |m 20070601 09:53:42 |G lmm |g 20070601 09:54:2