机读格式显示(MARC)

• 000 01420nam2 2200373 4500

• 000 0000171379

• 001 0000127054

• 005 20071124155704.0

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

• 100 __ |a 20071124d ekmy0chiy0120 ea

• 101 0_ |a chi

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

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 计算机怎样解几何题 |9 Ji Suan Ji Zen Yang Jie Ji He Ti |e 谈谈自动推理 |E Tan Tan Zi Dong Tui Li |f 张景中著 |F Zhang Jing Zhong Zhu

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

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

• 225 2_ |a 院士科普书系 |h 第一辑 |v 4

• 300 __ |a 国家重点图书

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

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

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

• 606 0_ |a 定理证明

• 606 0_ |a 机器证明

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

• 606 0_ |a 平面几何

• 690 __ |a TP181-49 |v 4

• 701 _0 |a 张景中 |9 Zhang Jing Zhong |4 著

• 801 _0 |a CN |b HRBNU |c 20060710

• 801 _2 |a CN |b |c 20071124

• 905 __ |a DQNU |d TP181-49/Z17

• 991 __

• 995 __ |a ST |f TP181-49/Z17 |s 1

• 999 __ |t C |A hxx |a 20071124 15:55:31 |M hxx |m 20071124 15:57:04 |G qiandl |g 20080325 10:07:3