-
西文图书1.An introduction to description logic /
馆藏复本:0
可借复本:0 Franz Baader, Technische Universit盲t, Dresden, Ian Horrocks, University of Oxford, Carsten Lutz,...
(0) 馆藏 -
西文图书2.Qualitative spatial reasoning with topological information / TP182/RJ
馆藏复本:1
可借复本:1 Jochen Renz.
Springer, c2002.
(0) 馆藏 -
西文图书3.Non-standard inferences in description logics / TP18/KR
馆藏复本:1
可借复本:1 Ralf Küsters.
Springer, c2001.
(0) 馆藏 -
西文图书4.Knowledge representation : logical, philosophical, and computational foundations = 知识表示 / G201/SJF
馆藏复本:2
可借复本:2 John F. Sowa著.
China Machine Press : 2003.
(0) 馆藏 -
西文图书5.Conceptual structures : broadening the base : 9th International Conference on Conceptual Structures, TP18-53/ICC
馆藏复本:1
可借复本:1 Harry S. Delugach, Gerd Stumme, (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书6.Artificial intelligence : structures and strategies for complex problem solving = 人工智能 : 复杂问 TP18/LGF/(4)
馆藏复本:6
可借复本:6 George F. Luger著.
China Machine Press, 2003.
(0) 馆藏 -
西文图书7.Exploring hypertext programming : writing knowledge representation and problem-solving programs / TP311/HSH
馆藏复本:1
可借复本:1 Safaa H. Hashim.
Windcrest, c1990.
(0) 馆藏 -
西文图书8.Artificial intelligence : structures and strategies for complex problem solving = 人工智能 : 复杂问 TP18/LGF/(6)
馆藏复本:2
可借复本:2 George F. Luger著.
China Machine Press, 2009.
(0) 馆藏