Thông tin bài báo khoa học

Tên bài báo:

Ngữ nghĩa thủ tục của chương trình logic có ràng buộc

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ị Ngọc Trang

Thuộc đề tài: