-
西文图书1.Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR TP18/B17
馆藏复本:1
可借复本:0 Franz Baader, Andrei Voronkov (eds.).
Springer, c2005.
(0) 馆藏
馆藏复本:1
可借复本:0 Franz Baader, Andrei Voronkov (eds.).
Springer, c2005.
(0) 馆藏