-
中文图书1.面向计算机科学的数理逻辑.2版 O141/35
馆藏复本:2
可借复本:2 陆钟万著
科学出版社 2002
(0) 馆藏 -
中文图书2.面向计算机科学的数理逻辑:modelling and reasoning about systems:系统建模与推理 O141/34
馆藏复本:5
可借复本:5 (德)Michael Huth,(英)Mark Ryan著
机械工业出版社 2007
(0) 馆藏