机读格式显示(MARC)

• 000 01190nam 2200337 450

• 001 0000018677

• 005 20121228153800.0

• 010 __ |a 7-81029-930-1 |d CNY15.00

• 099 __ |a CAL 012000798482

• 100 __ |a 20010329d2000 em y0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000 |a CN |b 440000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 计算机怎样解几何题 |A ji suan ji zen yang jie ji he ti |e 谈谈自动推理 |f 张景中著

• 210 __ |a 北京 |c 清华大学出版社 |a 广州 |c 暨南大学出版社 |d 2000

• 215 __ |a xiv, 195页 |c 图 |d 21cm

• 225 2_ |a 院士科普书系 |A yuan shi ke pu shu xi |h 第一辑 |v 4

• 300 __ |a 国家重点图书

• 320 __ |a 有书目 (第193-195页)

• 330 __ |a 本书结合实例向读者介绍人怎样用计算机解几何题，直观、生动有趣。读者还可以按照本书的指导，自己动手在计算机上解几项题目。

• 410 _0 |1 2001 |a 院士科普书系

• 517 1_ |a 谈谈自动推理 |A tan tan zi dong tui li

• 606 0_ |a 自然科学 |A zi ran ke xue |j 普及读物

• 606 0_ |a 机器证明 |A ji qi zheng ming |j 普及读物

• 606 0_ |a 人工智能 |A ren gong zhi neng |j 普及读物

• 690 __ |a TP181-49 |v 5

• 701 _0 |a 张景中, |A Zhang Jingzhong |f 1936- |4 著

• 801 _0 |a CN |b NUL |c 20001013

• 905 __ |a LYVC |d TP181-49/1

• 920 __ |a 441400 |z 1