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: | |||||||||||||||
| Tác giả: | Trương Công Tuấn | ||||||||||||||
| 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: | |||||||||||||||
| Tác giả: | Trương Công Tuấn | ||||||||||||||
| Thuộc đề tài: | 0 |