Phương pháp xếp tầng trong việc xác định ngữ nghĩa của các chương trình Datalog /

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Lê Mạnh Thạnh.
Định dạng: Bài viết
Ngôn ngữ:Vietnamese
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 00752nam a2200229 4500
001 DLU120138592
005 ##20120726
040 # # |a DLU  |b vie 
041 # # |a vie 
044 # # |a vn 
100 # # |a Lê Mạnh Thạnh. 
245 # # |a Phương pháp xếp tầng trong việc xác định ngữ nghĩa của các chương trình Datalog /  |c Lê Mạnh Thạnh. 
773 # # |t Thông báo khoa học của các trường Đại học: toán học - tin học  |g 1998, tr. 129-133 
920 # # |a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt 
994 # # |a DLU 
900 # # |a True 
911 # # |a Lý Thị Hồng Hạnh 
925 # # |a G 
926 # # |a A 
927 # # |a BB 
980 # # |a Thư viện Trường Đại học Đà Lạt