Thông tin bài báo khoa học
Tên bài báo: | Một số phương pháp xác định mô hình của chương trình Datalog và mở rộng của nó | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
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: | Một số phương pháp xác định mô hình của chương trình Datalog và mở rộng của nó | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
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 |