Thông tin bài báo khoa học
| Tên bài báo: | Ngữ nghĩa chương trình Datalog dạng tuyển dựa trên logic ba giá trị | ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 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, Trương Công Tuấn | ||||||||||||||
| Thuộc đề tài: | 0 |
| Tên bài báo: | Ngữ nghĩa chương trình Datalog dạng tuyển dựa trên logic ba giá trị | ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 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, Trương Công Tuấn | ||||||||||||||
| Thuộc đề tài: | 0 |