机读格式显示(MARC)

• 000 01140nam2 2200337 4500

• -01 /我的电脑/图书采购/ctlno/0000725|3ed1cc399e0100001e

• -01 /TCPIP网络/192.168.1.105/图书总库/ctlno/1197947|4ea0ba46ef12000025

• 001 0000124138

• 010 __ |a 7-81016-330-2 |d $4.00

• 100 __ |a 19930115d1992 em y0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 510000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 10 |a 自动推理导论 |A ZI DONG TUI LI DAO LUN |f 邱玉辉,张为群编著 |F QIU YU HUI , ZHANG WEI QUN BIAN ZHU

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

• 215 __ |a 216页 |d 20cm

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

• 540 1_ |a 自动推理 |A ZI DONG TUI LI

• 606 __ |a 推理-数理逻辑

• 606 __ |a 数理逻辑-推理

• 690 __ |a O141 |v 三版

• 690 __ |a TP18 |v 三版

• 692 __ |a 51.3

• 701 _0 |a 邱玉辉 |A QIU YU HUI |4 编著

• 701 _0 |a 张为群 |A ZHANG WEI QUN |4 编著

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

• 905 __ |a WFKJXY |d O141/1

• 906 __ |a WFKJXY |b O141/1

• 991 __0193003453

• 995 __ |a 图书馆 |b 0867735-0867737 |d O141 |e 1 |f 3 |w 图书