机读格式显示(MARC)

• 000 01353oam2 2200325 450

• 001 0000394428

• 005 20150126150400.0

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

• 092 __ |a s582-457

• 100 __ |a 20010110d2000 em y0chiy0110 ea

• 101 0_ |a chi

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

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 计算机怎样解几何题 |A Ji Suan Ji Zen Yang Jie Ji He Ti |9 ji suan ji zen yang jie ji he ti |b 专著 |e 谈谈自动推理 |f 张景中著

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

• 215 __ |a 14,195页 |d 20cm

• 225 2_ |a 院士科普书系 |A Yuan Shi Ke Pu Shu Ji |h 第一辑 |v 4

• 300 __ |a 国家重点图书

• 314 __ |a 张景中(1936～)，生于河南，中国科学院成都计算机应用研究所研究员，名誉所长，广州师范学院计算机教育软件研究所所长，著有《教育数学丛书》，《计算机怎样解几何题——谈谈自动推理》。

• 330 __ |a 本书结合实例向读者介绍了消点法、自动求解的代数方法等利用计算机的认识图形符号、进行加减乘除等基本功能解几何题的方法。

• 462 _0 |1 2001 |a 院士科普书系 |h 第一辑 |v 4

• 606 0_ |a 平面几何 |A Ping Mian Ji He |x 定理证明 |x 机器证明 |j 普及读物

• 606 0_ |a 平面几何 |A Ping Mian Ji He

• 606 0_ |a 定理证明 |A Ding Li Zheng Ming

• 606 0_ |a 机器证明 |A Ji Qi Zheng Ming

• 690 __ |a O123.1 |v 4

• 701 _0 |a 张景中 |A Zhang Jing Zhong |9 zhang jing zhong |4 著

• 801 _0 |a CN |b WXCSXY |c 20150126

• 905 __ |a WXCSXY |d O123.1/31