-
西文图书1.Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1 TP311.1-53/ICL
馆藏复本:1
可借复本:1 Philippe Codognet (ed.).
Springer, c2001.
(0) 馆藏 -
西文图书2.Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2 TP311-53/LPA
馆藏复本:1
可借复本:1 Robert Nieuwenhuis, Andrei Voronkov (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书3.Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Aus TP311.1-53/LPN
馆藏复本:1
可借复本:1 Thomas Eiter, Wolfgang Faber, Miros?aw Truszczyński (eds.).
Springer, c2001.
(0) 馆藏