西安工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

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

题名/责任者:
自动推理导论/邱玉辉,张为群编著
出版发行项:
成都:电子科技大学出版社,1992.6
ISBN及定价:
7-81016-330-2/CNY17.50
载体形态项:
216页;20cm
编目员补充题名:
自动推理
个人责任者:
邱玉辉 编著
个人责任者:
张为群 编著
学科主题:
推理-数理逻辑
学科主题:
数理逻辑-推理
中图法分类号:
O141
中图法分类号:
TP18
提要文摘附注:
本书主要介绍自动定理证明、非单调推理、概率推理、模糊推理及自动推理系统,是80年代的一门新兴学科,是人类智能研究的根本问题。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
O141/21 992003   密集库1     可借
O141/21 992004   密集库1     可借
O141/21 992005   密集库1     可借
O141/21 992006   密集库1     可借
O141/21 992007   密集库1     可借
O141/21 992008   密集库1     可借
O141/21 992009   密集库1     可借
O141/21 992010   密集库1     可借
O141/21 992011   密集库1     可借
O141/21 992012   密集库1     可借
O141/21 992013   密集库1     可借
O141/21 991999   内阅图书     可借
O141/21 992000   金花馆     可借
O141/21 992001   金花馆     可借
O141/21 992002   金花馆     可借
显示全部馆藏信息
借阅趋势

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