000    nam0
001 __ 0193003453
005 __ 20100303210214.0
010 __ ■a7-81016-330-2■dCNY4.00
100 __ ■a19930115d1992    em y0chiy0110    ea
101 0_ ■achi
102 __ ■aCN■b510000
105 __ ■ay   z   000yy
106 __ ■ar
200 1_ ■a自动推理导论■Azi dong tui li dao lun■f邱玉辉,张为群编著
210 __ ■a成都■c电子科技大学出版社■d1992.6
215 __ ■a216页■d20cm
330 __ ■a本书主要介绍自动定理证明、非单调推理、概率推理、模糊推理及自动推理系统,是80年代的一门新兴学科,是人类智能研究的根本问题。
606 0_ ■a推理■x数理逻辑
606 0_ ■2CT■3S076196■a推理
606 0_ ■2CT■3S069121■a数理逻辑
690 __ ■aO141■v三版
690 __ ■aTP18■v三版
692 __ ■a51.3
701 _0 ■a邱玉辉■Aqiu yu hui■f(1938~)■4编著
701 _0 ■a张为群■Azhang wei qun■4编著
801 __ ■aCN■bNLC■c20100603