-
西文图书1.Logic programming proceedings of the North American conf., 1989 TP311-53/E1:2:(89)
馆藏复本:1
可借复本:1 ed. by Ewing L. Llusk and Ross A. Overbeek
MIT Pr. c1989
(0) 馆藏
-
西文图书2.Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / TP312-53/E1:6(87)
馆藏复本:1
可借复本:1 K. Furukawa, H. Tanaka, T. Fujisaki, eds.
Springer-Verlag, c1988.
(0) 馆藏
-
西文图书3.Logic programming : proceedings of the North American conference, 1989, v. 1 / TP311-53/E1:1:(89)
馆藏复本:1
可借复本:1 edited by Ewing L. Lusk and Ross A. Overbeek.
MIT Press, c1989.
(0) 馆藏
-
西文图书4.Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russ TP302.2-53/1:(92)E
馆藏复本:1
可借复本:1 A. Voronkov, ed.
Springer-Verlag, c1992.
(0) 馆藏
-
西文图书5.Logic programming : proceedings of the 1993 international Symposium / TP31-53/E17:7TH:(90)
馆藏复本:2
可借复本:2 edited by Dale Miller.
MIT Press, c1993.
(0) 馆藏