机读格式显示(MARC)

• 000 00654nam2 2200253 4500

• 000 0000045413

• 001 0000045411

• 005 20041115085543.0

• 010 __ |a 7-5077-2980-7 |d CNY9.50

• 100 __ |a 20041115d1999 k y0chiy0120 ea

• 101 0_ |a chi

• 102 __ |a CN |b 450000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 平面几何定理的机器证明 |f 孙熙椿

• 210 __ |a 南宁 |c 广西教育出版社 |d 1999

• 215 __ |a 142页 |d 21cm

• 225 2_ |a 走向科学的明天丛书

• 461 __ |1 2001 |a 走向科学的明天丛书

• 610 0_ |a 平面几何 |a 定理证明：机器证明 |a 普及读物

• 690 __ |a O123 |v 4

• 701 _0 |a 孙熙椿 |4 著

• 801 _0 |a CN |b ILAS |c 20041115

• 905 __ |a LH2LIB |d O123/