检索到 6 条 主题词=Computer logic 的结果
-
西文图书1.Logic in computer science modelling and reasoning about systems / 2nd ed.
馆藏复本：0
可借复本：0 Michael Huth, Mark Ryan.
Cambridge University Press, 2004.
(0) 馆藏 -
西文图书2.Introductory logic and sets for computer scientists / TP301/NN
馆藏复本：1
可借复本：1 Nimal Nissanke.
Addison Wesley Longman, c1999.
(0) 馆藏 -
西文图书3.Logic in computer science : modelling and reasoning about systems = 面向计算机科学的数理逻辑 : 系统 TP302/HM/(2)
馆藏复本：2
可借复本：2 Michael Huth, Mark Ryan.
China Machine Press, 2005.
(0) 馆藏 -
西文图书4.Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 20 TP18-53/IJC
馆藏复本：1
可借复本：1 Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书5.Isabelle/HOL : a proof assistant for higher-order logic / TP301.6/NT
馆藏复本：1
可借复本：1 Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.
Springer, c2002.
(0) 馆藏 -
西文图书6.Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, TP301-53/WCS
馆藏复本：1
可借复本：1 Laurent Fribourg (ed.).
Springer, c2001.
(0) 馆藏
