-
西文图书1.Temporal logic and temporal logic programming / TP311.11/E6
馆藏复本:2
可借复本:2 Duan Zhenhua.
Science Press, c2005.
(0) 馆藏 -
西文图书2.Programming logic and design : comprehensive /-2nd ed. TP311.1/E3
馆藏复本:2
可借复本:2 Joyce Farrell.
Course Technology, c2002.
(0) 馆藏

