-
中文图书1.面向计算机科学的数理逻辑:系统建模与推理 O141/640
馆藏复本:5
可借复本:1 (德)Michael Huth,(英)Mark Ryan著
机械工业出版社 2007
(0) 馆藏
-
中文图书2.应用逻辑 O141/762/2
馆藏复本:5
可借复本:0 (美)Anil Nerode, Richard A.Shore著
机械工业出版社 2007
(0) 馆藏
参考翻译
缩小检索范围
- 分类:
- ·数理科学与化学(2)
- 文献类型:
- ·中文图书(2)
- 馆藏地:
- ·样本书阅览室(密集书库136)(2)
- ·临安密1(信息工程学院)(不可借)(2)
- ·自然科学第二书库(7F)(1)
- 主题: