-
西文图书1.Temporal logic and temporal logic programming / TP311/D812
馆藏复本:3
可借复本:3 Duan, Zhenhua.
Science Press, 2005.
(0) 馆藏
-
西文图书2.Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Aus TP311.1/L832(LO)
馆藏复本:1
可借复本:1 LPNMR 2001
Springer, c2001.
(0) 馆藏
-
西文图书3.Constraints in computational logics : theory and applications : international summer school, CCL'99, O141/C758
馆藏复本:1
可借复本:1 CCL'99
Springer, c2001.
(0) 馆藏
-
西文图书4.Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000, London, TP311.1/L832(L)
馆藏复本:1
可借复本:1 International Workshop on Logic Program Synthesis and Transformation
Springer, c2001.
(0) 馆藏
-
西文图书5.Inductive logic programming : 11th international conference, ILP 2001, Strasbourg, France, September TP311.1/I42
馆藏复本:1
可借复本:1 ILP 2001
Springer, c2001.
(0) 馆藏
-
西文图书6.Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1 TP311.1/L832
馆藏复本:1
可借复本:1 International Conference on Logic Programming
Springer, c2001.
(0) 馆藏
-
西文图书7.Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, TP311.1/F979
馆藏复本:1
可借复本:1 Fuji International Symposium on Functional and Logic Programming
Springer, c2001.
(0) 馆藏
-
西文图书8.Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2 TP311/L832
馆藏复本:1
可借复本:1 LPAR 2001
Springer, c2001.
(0) 馆藏
-
西文图书9.Proceedings / TP31-53/S989
馆藏复本:1
可借复本:1 Symposium on Logic Programming
IEEE Computer Society Press ; c1986.
(0) 馆藏
-
西文图书10.Parallel logic programming in PARLOG : the language and its implementation / TP31/G823
馆藏复本:2
可借复本:2 Gregory, Steve.
Addison-Wesley Pub. Co., c1987.
(0) 馆藏
-
西文图书11.Prolog versus you : an introduction to logic programming / TP312/J65
馆藏复本:1
可借复本:1 Johansson, Anna-Lena,
World Publishing Corp., c1992.
(0) 馆藏
-
西文图书12.Constraint satisfaction in logic programming / TP311/V255
馆藏复本:1
可借复本:1 Van Hentenryck, Pascal.
MIT Press, 1989.
(0) 馆藏
-
西文图书13.Interactive relational database design : a logic programming implementation / TP311.13/B144
馆藏复本:1
可借复本:1 Bagchi, Tapan P.
World Publishing Corp., 1991.
(0) 馆藏
-
西文图书14.Meta-programming in logic programming / TP311/M587
馆藏复本:1
可借复本:1 edited by Harvey Abramson and M.H. Rogers.
MIT Press, c1989.
(0) 馆藏
-
西文图书15.Logic for applications / TP311/N451
馆藏复本:1
可借复本:0 Nerode, Anil,
Springer-Verlag, c1993.
(0) 馆藏