-
西文图书1.The logical basis for computer programming v.I deductive reasoning 73.87221/M202/1
馆藏复本:1
可借复本:1 Manna, Z.
Addison-Wesley 1985.
(0) 馆藏
馆藏复本:1
可借复本:1 Manna, Z.
Addison-Wesley 1985.
(0) 馆藏