我的图书馆

要求 添加至我的列表 添加至书袋 MARC显示 返回浏览索引
     
可用条款限制搜索
前一记录 下一记录
资源
更多信息
* Search MOBIUS *
PRINTED MAT

题名 Advances in temporal logic / edited by Howard Barringer ... [et al.].

出版资料 Dordrecht ; Boston : Kluwer Academic Publishers, c2000.

复本

馆藏地 索书号 处理状态
 IU 2nd Floor  QA76.9.L63 A38 2000    AVAILABLE
载体形态 ix, 453 p : ill ; 25 cm.
丛编 Applied logic series ; v. 16
Notes Selected papers from an international conference held in Manchester, UK, in 1997.
Bibliography Includes bibliographical references.
主题 Computer logic.
Temporal databases.
其它责任者 Barringer, Howard, 1951-
国际标准书号 0792361490 (acid-free paper)
永久链接