MARC状态：审校 文献类型：西文图书 浏览次数：11
- 题名/责任者:
- Logic for applications / Anil Nerode, Richard A. Shore.
- 版本说明:
- 2nd ed.
- 出版发行项:
- New York : Springer, 1997.
- ISBN:
- 0387948937 (hc alk. paper)
- 载体形态项:
- xiii, 456 p. : ill. ; 25 cm.
- 个人责任者:
- Nerode, Anil, 1932-
- 附加个人名称:
- Shore, Richard A., 1946-
- 论题主题:
- Computer science-Mathematics.
- 中图法分类号:
- O414
- 书目附注:
- Includes bibliographical references (p. [409]-438) and indexes.
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| O414/X2=2 | X004812 |  经济书库-外文图书417
|
可借 | 经济书库-外文图书417 |
显示全部馆藏信息