MARC状态：审校 文献类型：西文图书 浏览次数：12
- 题名/责任者:
- Deductive systems and the decidability problem for hybrid logics / Michat Zawidzki.
- 出版发行项:
- New York : Columbia University Press, [2014]
- ISBN:
- 9788323336952
- ISBN:
- 8323336954
- 载体形态项:
- xiv, 215 pages : color illustrations ; 25 cm
- 个人责任者:
- Zawidzki, Michat, author.
- 论题主题:
- Deductive databases.
- 论题主题:
- Mathematische Logik.
- 中图法分类号:
- O141
- 书目附注:
- Includes bibliographical references and index.
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| O141/X1 | X002935 |  经济类书库-外文图书418
|
可借 | 经济类书库-外文图书418 |
显示全部馆藏信息