-
西文图书1.Logic programming TP31-53/N4
馆藏复本:1
可借复本:1 North American Conference on Logic Programming
MIT Press 1990
(0) 馆藏 -
西文图书2.Logic programming ' 87 TP31-53/L2
馆藏复本:2
可借复本:2 Logic Programming conference
Springer-Verlag 1988
(0) 馆藏 -
西文图书3.Logic programming TP31-53/I21
馆藏复本:1
可借复本:1 International Conference on Logic Programming
MIT Press 1990
(0) 馆藏 -
西文图书4.The logic of programming TP31/H13
馆藏复本:2
可借复本:2 Hehner, Eric C. R.
Prentice/Hall 1984
(0) 馆藏 -
西文图书5.Logic programming TP31/C9
馆藏复本:1
可借复本:1 Clark , K . L.&Tarnlund, S. A .ed
Academic Pr. 1982
(0) 馆藏 -
西文图书6.Logic programming ' 89 TP31-53/L4
馆藏复本:1
可借复本:1 Logic programming conference
Springer-Verlag 1991
(0) 馆藏 -
西文图书7.Logic programming : systematic program development TP31/D12
馆藏复本:1
可借复本:1 Debille , Yves
Addison-Wesley Pub. Co. 1990
(0) 馆藏 -
西文图书8.Logic programming TP31-53/L3
馆藏复本:2
可借复本:2
MIT Press 1989
(0) 馆藏 -
西文图书9.Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR TP18/B17
馆藏复本:1
可借复本:0 Franz Baader, Andrei Voronkov (eds.).
Springer, c2005.
(0) 馆藏 -
西文图书10.Logic programming and databases TP31/C23
馆藏复本:2
可借复本:2 Ceri , Stefano
Springer-Verlag 1990
(0) 馆藏