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

| 暂存书架(0) | 登录

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

题名/责任者:
Logic for problem solving / Robert Kowalski.
出版发行项:
New York : Elsevier North Holland, c1979.
ISBN:
0444003657
载体形态项:
287 p. : ill. ; 24 cm.
丛编说明:
The Computer science library
丛编说明:
Artificial intelligence series
个人责任者:
Kowalski, Robert.
论题主题:
Electronic digital computers-Programming.
论题主题:
Logic, Symbolic and mathematical.
论题主题:
Problem solving.
中图法分类号:
TP11
书目附注:
Includes bibliographical references and index.
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
TP11/E15 700004874   西文     可借 西文
TP11/E15 700004875   西文     可借 西文
TP11/E15 700013755   西文     可借 西文
显示全部馆藏信息
借阅趋势

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