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 |