Thông tin bài báo khoa học
| Tên bài báo: | 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 | ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Tạp chí: |
|
||||||||||||||
| Lĩnh vực: | KHOA HỌC MÁY TÍNH VÀ THÔNG TIN | ||||||||||||||
| Tác giả: | Lê Mạnh Thạnh | ||||||||||||||
| Thuộc đề tài: | 0 |
| Tên bài báo: | 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 | ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Tạp chí: |
|
||||||||||||||
| Lĩnh vực: | KHOA HỌC MÁY TÍNH VÀ THÔNG TIN | ||||||||||||||
| Tác giả: | Lê Mạnh Thạnh | ||||||||||||||
| Thuộc đề tài: | 0 |