潍坊科技学院图书馆书目检索系统

| 暂存书架(0) | 登录



MARC状态:已编 文献类型:中文图书 浏览次数:14

题名/责任者:
自动推理导论/邱玉辉,张为群编著
出版发行项:
成都:电子科技大学出版社,1992.6
ISBN及定价:
7-81016-330-2/$4.00
载体形态项:
216页;20cm
编目员补充题名:
自动推理
个人责任者:
邱玉辉 编著
个人责任者:
张为群 编著
学科主题:
推理-数理逻辑
学科主题:
数理逻辑-推理
中图法分类号:
O141
中图法分类号:
TP18
科图法分类号:
51.3
提要文摘附注:
本书主要介绍自动定理证明、非单调推理、概率推理、模糊推理及自动推理系统,是80年代的一门新兴学科,是人类智能研究的根本问题。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
O141/1 0867735   自然科学书库-四楼西北     可借
O141/1 0867736   自然科学书库-四楼西北     可借
O141/1 0867737   自然科学书库-四楼西北     可借
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架