Thông tin bài báo khoa học
Tên bài báo: | Mối quan hệ giữa ngữ nghĩa của chương trình logic diễn giải và chương trình logic dạng tuyển | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tạp chí: |
|
||||||||||||||
Lĩnh vực: | KHOA HỌC TỰ NHIÊN | ||||||||||||||
Tác giả: | Trương Công Tuấn, Trần Thái Sơn | ||||||||||||||
Thuộc đề tài: | 0 |