-
西文图书1.An introduction to description logic / TP182/BB1
馆藏复本:1
可借复本:0 Franz Baader, Technische Universitut, Dresden, Ian Horrocks, University of Oxford, Carsten Lutz,...
Cambridge University Press, 2017.
(0) 馆藏 -
西文图书2.Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR TP18/B17
馆藏复本:1
可借复本:1 Franz Baader, Andrei Voronkov (eds.).
Springer, c2005.
(0) 馆藏