MARC状态：审校 文献类型：西文图书 浏览次数：67
- 题名/责任者:
- Temporal logic and temporal logic programming / Duan Zhenhua.
- 出版发行项:
- Beijing : Science Press, c2005.
- ISBN:
- 7030166515
- 载体形态项:
- v, 196 p. ; 27 cm.
- 个人责任者:
- Duan, Zhenhua.
- 论题主题:
- Electronic digital computers-Programming.
- 论题主题:
- Logic programming.
- 中图法分类号:
- TP311.11
- 书目附注:
- Includes bibliographical references (p. [187]-194) and index.
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP311.11/E6 | E000013401 | 2005 |  外文阅览区
|
可借 | 外文阅览区 |
| TP311.11/E6 | E000013402 | 2005 | 外文阅览区
|
可借 | 外文阅览区 |
显示全部馆藏信息