| 暂存书架(0) | 登录

MARC状态：审校 文献类型：中文图书 浏览次数：68

题名/责任者:
计算机解题逻辑/(英) R. 科瓦尔斯基著 郑守淇译
出版发行项:
西安:西安交通大学出版社,1986
载体形态项:
198页:图;26cm
统一题名:
Logic for problem solving
个人责任者:
科瓦尔斯基 (Kowalski, R.) 著
个人次要责任者:
郑守淇 译
学科主题:
逻辑-应用-程序设计
中图法分类号:
TP302
相关题名附注:
英文题名取自书中
提要文摘附注:
本书内容讲述与机器无关的逻辑子句形式语义学以及子句形式在表示信息方面的应用,子句形式推理系统等。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 定位
TP302/2070 0004538   密集书库一     可借 定位
TP302/2070 0231274   密集书库一     可借 定位
TP302/2070 0231275   密集书库一     可借 定位
TP302/2070 0231276   密集书库一     可借 定位
TP302/2070 0350546   密集书库一     可借 定位
TP302/2070 0350548   密集书库一     可借 定位
TP302/2070 0350742   密集书库一     可借 定位
TP302/2070 0115786   理科综合阅览室     保留本 定位
显示全部馆藏信息
借阅趋势

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