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

Tên bài báo:

Một số phương pháp xác định ngữ nghĩa chương trình Datalog có phủ định.

Tạp chí:

ISSN:
Tên tạp chí	Tạp chí Tin học và điều khiển học
Tạp chí	Trong nước
Năm đăng:	2001
Tập:
Số:
Trang:

Lĩnh vực:

KHOA HỌC TỰ NHIÊN

Tác giả:

Trần Nguyên Phong

Thuộc đề tài: