机读格式显示(MARC)

• 000 01356nam2 2200361 450

• 000 0000104203

• 001 0000054691

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

• 100 __ |a 20061109d em y0chiy0120 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 |e 谈谈自动推理 |f 张景中著

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

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

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

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

• 606 0_ |a 平面几何

• 606 0_ |a 定理证明

• 606 0_ |a 机器证明

• 690 __ |a O123.1-49 |v 4

• 701 _0 |a 张景中 |A zhang jing zhong |4 著

• 801 _0 |a CN |b SFT |c 20061109

• 905 __ |a GDPTC |d O123.1-49/1

• 908 __ |a 0000104203

• 995 __ |a SFT |f O123.1-49/1

• 999 __ |t C |A cqh |a 20061109 15:19:07 |M cqh |m 20061109 15:19:19 |G cqh |g 20061109 15:19:32