机读格式显示(MARC)

• 000 01041nam2 2200337 4500

• 000 0000170589

• 001 0000116488

• 005 20061218160544.0

• 010 __ |a 7-81016-330-2 |d CNY17.50

• 100 __ |a 20061218d1992 em y0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 510000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 自动推理导论 |f 邱玉辉,张为群编著 |9 zidongtuilidaolun

• 210 __ |a 成都 |c 电子科技大学出版社 |d 1992.6

• 215 __ |a 216页 |d 20cm

• 330 __ |a 本书主要介绍自动定理证明、非单调推理、概率推理、模糊推理及自动推理系统,是80年代的一门新兴学科,是人类智能研究的根本问题。

• 540 1_ |a 自动推理 |9 zidongtuili

• 606 0_ |a 推理 |x 数理逻辑 |A tuili

• 606 0_ |a 数理逻辑 |x 推理 |A shuliluoji

• 690 __ |a O141 |v 4

• 690 __ |a TP18 |v 4

• 701 _0 |a 邱玉辉 |4 编著 |9 qiuyuhui

• 701 _0 |a 张为群 |4 编著 |9 zhangweiqun

• 801 _0 |a CN |b NLC |c 19930115

• 801 _2 |a CN |b 261060 |c 20061218

• 905 __ |a XATU |d O141/21

• 991 __012006017876

• 995 __ |a 261060 |f O141/21

• 999 __ |t C |A zw |a 20061218 16:04:41 |I zw |i 20061218 16:05:4