MARC状态:已编 文献类型:西文图书 浏览次数:51
- 题名/责任者:
- Non-standard inferences in description logics / Ralf Küsters.
- 出版发行项:
- Berlin ; New York : Springer, c2001.
- ISBN:
- 3540423974 (pbk.) :
- 载体形态项:
- x, 250 p. : ill. ; 24 cm.
- 丛编统一题名:
- Lecture notes in computer science ; 2100.
- 丛编统一题名:
- Lecture notes in computer science. Lecture notes in artificial intelligence.
- 个人责任者:
- Küsters, Ralf.
- 论题主题:
- Artificial intelligence.
- 论题主题:
- Predicate (Logic).
- 中图法分类号:
- TP18
- 书目附注:
- Includes bibliographical references (p. [235]-244) and index.
- 随书光盘:
全部MARC细节信息>>