Trần, Nguyên Phong
Ngữ nghĩa chương trình Datalog có phủ định trong thân quy tắc : Luận văn Thạc sĩ ngành Công nghệ Thông tin / Trần Nguyên Phong - Hà Nội : Trường ĐHBK Hà Nội, 2001 - 72 tr.
Luận văn Thạc sĩ ngành Công nghệ Thông tin--Trường ĐHBK Hà nội, Hà Nội, 2001
Chương trình logic và cơ sỏ dữ liệu suy diễn. Mô hình dữ liệu datalog, ngữ nghĩa chương trình Datalog có phủ định trong thân quy tắc. Một số phương pháp tiếp cận xác định ngữ nghĩa phủ định trong CSDL suy diễn không xác định.
Chương trình Datalog
cơ sở dữ liệu suy diễn
hệ toán tử
Demo Dữ liệu Demo Koha Việt Nam
QA76 / .TR121P 2001
Ngữ nghĩa chương trình Datalog có phủ định trong thân quy tắc : Luận văn Thạc sĩ ngành Công nghệ Thông tin / Trần Nguyên Phong - Hà Nội : Trường ĐHBK Hà Nội, 2001 - 72 tr.
Luận văn Thạc sĩ ngành Công nghệ Thông tin--Trường ĐHBK Hà nội, Hà Nội, 2001
Chương trình logic và cơ sỏ dữ liệu suy diễn. Mô hình dữ liệu datalog, ngữ nghĩa chương trình Datalog có phủ định trong thân quy tắc. Một số phương pháp tiếp cận xác định ngữ nghĩa phủ định trong CSDL suy diễn không xác định.
Chương trình Datalog
cơ sở dữ liệu suy diễn
hệ toán tử
Demo Dữ liệu Demo Koha Việt Nam
QA76 / .TR121P 2001