-
西文图书1.Logic for applications = 应用逻辑 / 2nd ed. O141/N451-2
馆藏复本:3
可借复本:2 Anil Nerode, Richard A. Shore著.
China Machine Press, 2006.
(0) 馆藏 -
中文图书2.应用逻辑 O141/8400
馆藏复本:5
可借复本:4 (美) Anil Nerode, Richard A. Shore著
机械工业出版社 2007
(0) 馆藏
参考翻译
缩小检索范围
- 分类:
- ·数理科学与化学(2)
- 馆藏地:
- ·理科综合阅览室(1)
- ·12楼南外文图书阅览室(1)
- ·11楼北语言学外语借阅室(1)
- ·密集书库一(1)
- ·10楼南数、理科学借阅室(1)
- 主题:
- ·数理逻辑(1)
- ·computer science(1)
- ·logic symbolic and mathematical(1)