Dữ liệu bài báo khoa học
Phương pháp xếp tầng trong việc xác định ngữ nghĩa của các chương trình Datalog
Thông báo khoa học, Trường Đại học Khoa học,
1998
Lĩnh vực: KHOA HỌC MÁY TÍNH VÀ THÔNG TIN
Danh mục: Khác
Tác giả:
Lê Mạnh Thạnh
Lý thuyết điểm bất động trong CSDL suy dẫn
Tạp chí Tin học và Điều khiển học/Journal of Computer Science and Cybernetics,
1998
Lĩnh vực: KHOA HỌC MÁY TÍNH VÀ THÔNG TIN
Danh mục: ACI
Tác giả:
Lê Mạnh Thạnh