MARC状态：已编 文献类型：西文图书 浏览次数：74
- 题名/责任者:
- Temporal logic and temporal logic programming / Duan Zhenhua.
- 出版发行项:
- Beijing : Science Press, c2005.
- ISBN:
- 7030166515
- 载体形态项:
- 196 p. : 24 cm.
- 个人责任者:
- Duan, Zhenhua.
- 论题主题:
- Tense (Logic)
- 论题主题:
- Electronic digital computers-Programming.
- 论题主题:
- Time.
- 中图法分类号:
- TP312
- 书目附注:
- Includes bibliographical reference and index.
全部MARC细节信息>>
11楼北语言学外语借阅室