机读格式显示(MARC)

• 000 01795cam 2200637 450

• 001 0000248897

• 005 20061228102219.0

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

• 099 __ |a CAL 012006108297

• 100 __ |a 20061012d2006 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 001yy

• 106 __ |a r

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

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

• 215 __ |a 279页 |c 图 |d 25cm

• 225 2_ |a 数学机械化丛书 |A shu xue ji xie hua cong shu |v 7

• 304 __ |a 题名页题: 高小山, 王定康, 裘宗燕, 杨宏著.

• 320 __ |a 有书目 (第254-258页) 和索引

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

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

• 606 0_ |a 方程 |A fang cheng |x 求解 |x 数学软件 |x MMP

• 690 __ |a O122.2 |v 4

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

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

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

• 801 _0 |a CN |b BUPT |c 20061012

• 801 _2 |a CN |b SEU |c 20061205

• 801 _2 |a CN |b SCNU |c 20061228

• 905 __ |a SCNU |f O122.2/0092

• 920 __ |a 211130 |z 1

• 920 __ |a 215010 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 232010 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 231010 |z 1

• 920 __ |a 211030 |z 1

• 920 __ |a 211060 |z 1

• 920 __ |a 261030 |z 1

• 920 __ |a 211260 |z 1

• 920 __ |a 211010 |z 1

• 920 __ |a 221020 |z 1

• 920 __ |a 211050 |z 1

• 920 __ |a 243325 |z 1

• 920 __ |a 222010 |z 1

• 920 __ |a 232020 |z 1

• 920 __ |a 211090 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 234030 |z 1

• 920 __ |a 231030 |z 1

• 998 __ |a BUPT

• 999 __ |M yinj |m 20061228 10:22:19 |G yinj |g 20061228 10:22:28

• 000 0000307367

• 991 __ |a 012006040406

• 907 __ |a SCNU |f O122.2/0092