机读格式显示(MARC)
- 000 01044oam2 2200325 450
- 010 __ |a 7-81016-330-2 |d CNY17.50
- 100 __ |a 20060427e20051992ekmy0chiy0121 ea
- 200 1_ |a 自动推理导论 |A zi dong tui li dao lun |f 邱玉辉,张为群编著
- 210 __ |a 成都 |c 电子科技大学出版社 |d 1992
- 225 2_ |a 物理知识提前学丛书 |A wu li zhi shi ti qian xue cong shu
- 330 __ |a 本书主要介绍自动定理证明、非单调推理、概率推理、模糊推理及自动推理系统,是80年代的一门新兴学科,是人类智能研究的根本问题。
- 461 _0 |1 2001 |a 物理知识提前学丛书
- 606 0_ |a 数理逻辑 |A shu li luo ji
- 606 0_ |a 推理 |A tui li |x 数理逻辑
- 701 _0 |a 张为群 |A zhang wei qun |4 编著
- 701 _0 |a 邱玉辉 |A qiu yu hui |4 编著
- 801 _0 |a CN |b JDZXYTSG |c 20060713
- 905 __ |a JDZXY |d O141/105