00935nam a2200253Ia 4500 TVU_7975 210423s9999 xx 000 0 und d Vie 5.74 T502 Đỗ, Trung Tuấn Cơ sở dữ liệu suy diễn Đỗ Trung Tuấn Hà Nội Giáo dục Việt Nam 2010 227 tr. Minh họa 27 cm Mục lục: tr.3-4. -Thư mục: tr. 227 Trình bày các vấn đề về mốc phgat1 triển của lập luận logic, nhu cầu về cơ sở dữ liệu suy diễn; Một số đảm bảo toán học, hệ thống tri thức, lập trình logic và datalog và đánh giá câu hỏi trong cơ sở dữ liệu duy diễn Tin học Đỗ Trung Tuấn Trung tâm Học liệu Trường Đại học Trà Vinh