MARC状态：审校 文献类型：西文图书 浏览次数：16
- 题名/责任者:
- Logic for applications = 应用逻辑 / Anil Nerode, Richard A. Shore著.
- 出版发行项:
- 北京 : China Machine Press, 2006.
- ISBN:
- 7111197720
- 载体形态项:
- xiii, 456 p. : ill. ; 25 cm.
- 变异题名:
- 应用逻辑
- 丛编题名:
- 经典原版书库
- 丛编题名:
- HZ books
- 个人责任者:
- Nerode, Anil, 1932-
- 附加个人名称:
- Shore, Richard A., 1946-
- 论题主题:
- Computer science-Mathematics.
- 中图法分类号:
- O141
- 中图法分类号:
- TP301
- 原版附注:
- Reprint. Originally published: New York : Springer, c1997. 2nd ed. 0387948937 (hc : alk. paper)
全部MARC细节信息>>