Non-standard inferences in description logics /

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Kusters, Ralf.
Đị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