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