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 |