Non-standard inferences in description logics /

Đã lưu trong:
書目詳細資料
主要作者: Kusters, Ralf.
格式: Sách giấy
出版: Berlin ; New York : Springer, c2001.
叢編:Lecture notes in computer science ; 2100.
Lecture notes in computer science. Lecture notes in artificial intelligence.
主題:
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
實物特徵
實物描述:x, 250 p. : ill. ; 24 cm.
參考書目:Includes bibliographical references (p. [235]-244) and index.
ISBN:3540423974 (pbk.)