机读格式显示(MARC)

• 000 01253nam 22200337 4450

• 001 0000144750

• 005 20010719095507.3

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

• 100 __ |a 20010310d2000 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 计算机怎样解几何题 |9 ji suan ji zen yang jie ji he ti |e 谈谈自动推理 |f 张景中著

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

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

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

• 300 __ |a 国家重点图书

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

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

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

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

• 606 __ |a 平面几何

• 606 __ |a 定理证明

• 606 __ |a 机器证明

• 690 __ |a TP181-49

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

• 701 _0 |a 张景中 |4 著 |A ZHANG JING ZHONG

• 801 _0 |a CN |b Library |c 20010314 |U ZYJ

• 801 _2 |a CN |b Library |c 20010719 |U MARC

• 905 __ |a JHUL |d TP18/24