-
西文图书1.Parallel logic programming in PARLOG : the language and its implementation / TP31/G823
馆藏复本:1
可借复本:1 Gregory, Steve.
Addison-Wesley Pub. Co., c1987.
(0) 馆藏 -
西文图书2.Logic programming and databases / TP311/C415
馆藏复本:1
可借复本:1 Ceri, Stefano,
Springer-Verlag, c1990.
(0) 馆藏 -
西文图书3.Constraint satisfaction in logic programming / TP311/V217
馆藏复本:2
可借复本:2 Van Hentenryck, Pascal.
MIT Press, 1989.
(0) 馆藏