Tài liệu Thư viện số
Danh mục TaiLieu.VN
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ bậc nhất, Chương trình logic, Logic xác định, Logic thông thường, Tính toán phỏng đoán, Hệ thống Smodels, Phỏng đoán EK, Phỏng đoán KM
5 p quynhtruong 20/06/2016 198 2