-
西文图书1.Logic in computer science modelling and reasoning about systems / 2nd ed.
馆藏复本:0
可借复本:0 Michael Huth, Mark Ryan.
Cambridge University Press, 2004.
(0) 馆藏 -
西文图书2.Logic in computer science : modelling and reasoning about systems = 面向计算机科学的数理逻辑 : 系统 TP302/HM/(2)
馆藏复本:2
可借复本:2 Michael Huth, Mark Ryan.
China Machine Press, 2005.
(0) 馆藏