| 暂存书架(0) | 登录

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

题名/责任者:
Equational logic as a programming language / Michael J. O'Donnell.
出版发行项:
Cambridge, Mass. : MIT Pr., c1985.
ISBN:
026215028X :
载体形态项:
296 p. : ill. ; 24 cm.
丛编说明:
MIT Press series in the foundations of computing
个人责任者:
O'Donnell, Michael J., 1952-
论题主题:
Equations, Theory of.
论题主题:
Programming languages (Electronic computers)
论题主题:
Logic, Symbolic and mathematical.
中图法分类号:
TP312
书目附注:
Includes bibliographical references (p. 277-284) and index
随书光盘:
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
TP312/OMJ E0273425   东5层4区      可借
显示全部馆藏信息
借阅趋势

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