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:
Tác giả chí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 |