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 có yếu tố thời gian | ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Tạp chí: |
|
||||||||||||||
| Lĩnh vực: | KHOA HỌC MÁY TÍNH VÀ THÔNG TIN | ||||||||||||||
| Tác giả: | Trương Công Tuấn, Nguyễn Thị Mỹ Lộc | ||||||||||||||
| Thuộc đề tài: | 0 |