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

Tên bài báo:

Ngữ nghĩa chương trình Datalog có chứa ràng buộc

Tạp chí:

ISSN:
Tên tạp chí	Kỷ yếu Hội thảo quốc gia “Một số vấn đề chọn lọc của công nghệ thông tin và Truyền thông”, Biên Hòa, 05-06 tháng 08 năm 2009, NXB Khoa học và Kỹ thuật, Hà Nội 2010, trang 306-314.
Tạp chí	Trong nước
Năm đăng:	2010
Tập:
Số:
Trang:

Lĩnh vực:

KHOA HỌC TỰ NHIÊN

Tác giả:

Lê Mạnh Thạnh, Trương Công Tuấn

Thuộc đề tài: