Non-standard inferences in description logics /
Đã lưu trong:
Tác giả chính: | |
---|---|
Định dạng: | Sách giấy |
Được phát hành: |
Berlin ; New York :
Springer,
c2001.
|
Loạt: | Lecture notes in computer science ;
2100. Lecture notes in computer science. Lecture notes in artificial intelligence. |
Những chủ đề: | |
Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
LEADER | 01023nam a2200337 4500 | ||
---|---|---|---|
001 | DLU030023123 | ||
005 | ##20020426151936.0 | ||
008 | ##010713s2001 gw a b 001 0 eng | ||
010 | # | # | |a 2001049125 |
020 | # | # | |a 3540423974 (pbk.) |
040 | # | # | |a DLC |c DLC |d DLC |
042 | # | # | |a pcc |
050 | # | # | |a Q334 |b .K87 2001 |
082 | # | # | |a 006.3 |b KU-R |
100 | # | # | |a Kusters, Ralf. |
245 | # | # | |a Non-standard inferences in description logics / |c Ralf Kusters. |
260 | # | # | |a Berlin ; |a New York : |b Springer, |c c2001. |
300 | # | # | |a x, 250 p. : |b ill. ; |c 24 cm. |
504 | # | # | |a Includes bibliographical references (p. [235]-244) and index. |
650 | # | # | |a Description logics. |
830 | # | # | |a Lecture notes in computer science ; |v 2100. |
830 | # | # | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. |
992 | # | # | |a 65.00 |
994 | # | # | |a DLU |
900 | # | # | |a True |
911 | # | # | |a Thái Thị Thanh Thủy |
925 | # | # | |a G |
926 | # | # | |a A |
927 | # | # | |a SH |
980 | # | # | |a Thư viện Trường Đại học Đà Lạt |