-
西文图书1.Mathematical theory of computation / TP31/E57
馆藏复本:4
可借复本:4 Zohar Manna.
McGraw-Hill, 1974.
(0) 馆藏
-
西文图书2.The logical basis for computer programming, v. 1 : deductive reasoning / TP311/E5:1
馆藏复本:3
可借复本:3 Zohar Manna, Richard Waldinger.
Addison-Wesley, c1985.
(0) 馆藏
-
西文图书3.The logical basis for computer programming, v.2 : deductive systems / TP311/E5:2
馆藏复本:2
可借复本:2 Zohar Manna, Richard Waldinger.
Addison-Wesley, c1985-c1990.
(0) 馆藏