机读格式显示(MARC)

• 000 01141nam2 2200313 4500

• -01 __gzk1006948

• -09 __zyk0236929

• -98 __ls04

• -99 __tsg01

• 001 0000235856

• 005 20121202150135.5

• 010 __ |a 978-7-03-028377-1 |b 精装 |d CNY65.00

• 100 __ |a 20121202e20101984em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 几何定理机器证明的基本原理 |A ji he ding li ji qi zheng ming de ji ben yuan li |i 初等几何部分 |f 吴文俊著

• 210 __ |a 北京 |c 科学出版社 |d 1984 |h 2010重印

• 215 __ |a 10,234页 |d 25cm

• 225 2_ |a 中国科学技术经典文库 |i 数学卷

• 330 __ |a 本书共分六章。前两章是关于几何机械化的预备知识,集中介绍了常用几何;后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilben机械化定理,第4、5章分别为(常用)无序几何的机械化定理和(常用)有序几何的机械化定理,第6章阐述各种几何的机械化定理。

• 410 _0 |1 2001 |a 中国科学技术经典文库 |i 数学卷

• 606 0_ |a 几何 |A Ji He |x 定理证明 |x 机器证明

• 690 __ |a O18-39 |v 4

• 701 _0 |a 吴文俊 |A wu wen jun |4 著

• 801 _0 |a CN |b 安徽新华 |c 20121202

• 905 __ |a ASTU |d O18-39/1

• 915 __ |b 2199725-7 |d O18-39 |e 1 |f 3