邵阳学院图书馆书目检索系统

| 暂存书架(0) | 登录

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

题名/责任者:
自动推理导论/邱玉辉，张为群编著
出版发行项:
成都:电子科技大学出版社,1992.6
ISBN及定价:
7-81016-330-2/CNY17.50
载体形态项:
216页;20cm
丛编项:
物理知识提前学丛书
个人责任者:
邱玉辉 编著
个人责任者:
张为群 编著
学科主题:
推理-数理逻辑
学科主题:
数理逻辑
中图法分类号:
O141
书目附注:
有书目(第214-216页)
提要文摘附注:
本书主要介绍自动定理证明、非单调推理、概率推理、模糊推理及自动推理系统,是80年代的一门新兴学科,是人类智能研究的根本问题。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
O141/25 A0718990   Q601密集书库（七里坪） QL005568     可借 Q601密集书库（七里坪）
O141/25 A0718991   Q601密集书库（七里坪） QL005567     可借 Q601密集书库（七里坪）
O141/25 A0718987   自然科学书库（七里坪新馆六楼）     可借 自然科学书库（七里坪新馆六楼）
O141/25 A0718988   自然科学书库（七里坪新馆六楼）     可借 自然科学书库（七里坪新馆六楼）
O141/25 A0718989   自然科学书库（七里坪新馆六楼）     可借 自然科学书库（七里坪新馆六楼）
O141/25 A0718992   自然科学书库（七里坪新馆六楼）     可借 自然科学书库（七里坪新馆六楼）
显示全部馆藏信息
借阅趋势

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