Thông tin bài báo khoa học
| Tên bài báo: | Ngữ nghĩa và phương pháp định giá truy vấn đối với chương trình Datalog dạng tuyển có yếu tố thời gian | ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Tạp chí: |
|
||||||||||||||
| Lĩnh vực: | TOÁN HỌC VÀ THỐNG KÊ | ||||||||||||||
| Tác giả: | Trương Công Tuấn (Chính), Nguyễn Thị Mỹ Lộc | ||||||||||||||
| Thuộc đề tài: | 0 |