安徽理工大学图书馆书目检索系统

| 暂存书架(0) | 登录



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

题名/责任者:
The logical basis for computer programming v.I deductive reasoning Z. Manna & R. Waldinger
出版发行项:
Reading Addison-Wesley 1985.
ISBN:
0-201-18260-2
载体形态项:
618 p. 21cm
个人责任者:
Manna, Z.
附加个人名称:
R. Waldinger.
论题主题:
Programming (Electronic digital computers).
论题主题:
Logic, symbolic and mathematical.
中图法分类号:
73.87221
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
73.87221/M202/1 010055065   外文书库     可借
显示全部馆藏信息
借阅趋势

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