机读格式显示(MARC)

• 000 00952oam2 2200313 450

• 001 0000017627

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

• 092 __ |a CN |b 492287

• 100 __ |a 20060427e20051992ekmy0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 510000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 0_ |a 自动推理导论 |A zi dong tui li dao lun |f 邱玉辉，张为群编著

• 210 __ |a 成都 |c 电子科技大学出版社 |d 1992 |h 2005重印

• 215 __ |a 216页 |d 20cm

• 225 0_ |a 物理知识提前学丛书

• 320 __ |a 有书目(第214～216页)

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

• 410 _0 |1 2001 |a 物理知识提前学丛书

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

• 606 0_ |a 推理

• 606 0_ |a 数理逻辑

• 690 __ |a O141 |v 4

• 690 __ |a TP18 |v 4

• 701 _0 |a 邱玉辉 |A qiu yu hui |4 编著

• 701 _0 |a 张为群 |A zhang wei qun |4 编著

• 801 _0 |a CN |b LZJBOOK |c 20060427

• 905 __ |a WXCSXY |d O141/6