| 暂存书架(0) | 登录

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

题名/责任者:
The logical basis for computer programming. V.I, Deductive reasoning / Zohar Manna, Richard. Waldinger.
出版发行项:
Reading ,Mass. : Addison-Wesley, 1985.
ISBN:
0201182602 (v.1) :
载体形态项:
xii, 618 p. : ill. ; 24 cm.
个人责任者:
Manna, Z. (Zohar)
附加个人名称:
Waldinger, Richard.
论题主题:
Programming (Electronic digital computers).
论题主题:
Logic, symbolic and mathematical.
中图法分类号:
TP31
书目附注:
Includes bibliographical references and index.
随书光盘:
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
TP31/MZ E0212150   东5层4区      可借
TP31/MZ E0273419  V.1 东5层4区      可借
TP31/MZ E0273420  V.1 东5层4区      可借
显示全部馆藏信息
借阅趋势

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