| 暂存书架(0) | 登录

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

题名/责任者:
时序逻辑与时序逻辑程序设计:[英文版]/段振华著
出版发行项:
北京:科学出版社,2005.1
ISBN及定价:
7-03-016651-5 精装/CNY32.00
载体形态项:
196页;27cm
并列正题名:
Temporal logic and temporal logic programming
个人责任者:
段振华 著
学科主题:
逻辑程序设计-英文
学科主题:
逻辑程序设计
中图法分类号:
TP311.11
题名责任附注:
编译员自译题名及责任者
书目附注:
本书第187-194页附有书目，后还附有索引。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
TP311.11/752 71051603   外文书库(外文版)（密集书库136）     可借
TP311.11/752 71051602   样本书阅览室（密集书库136）     非可借
TP311.11/752 71051604   自然书库（3F东）     可借 自然书库（3F东）
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

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