Thông tin bài báo khoa học
Tên bài báo: | Phân tích một số phương pháp xử lý vòng lặp vô hạn trong quá trình ước lượng câu truy vấn đối với chương trình Datalog | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tạp chí: |
|
||||||||||||||
Lĩnh vực: | KHOA HỌC TỰ NHIÊN | ||||||||||||||
Tác giả: | Hồ Thuần, Lê Mạnh Thạnh, Trương Công Tuấn | ||||||||||||||
Thuộc đề tài: | 0 |