» Từ khóa: datalog dang tuyen

Kết quả 1-3 trong khoảng 3

Tìm hiểu ngữ nghĩa chương trình Datalog dạng tuyển có tính chất ưu tiên và ứng dụng

Tổng quan về chương trình Datalog dạng tuyển; Chương trình Datalog dạng tuyển có thứ tự ưu tiên; Ứng dụng của chương trình Datalog dạng tuyển có thứ tự ưu tiên. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

11 p husc 21/05/2024 127 0

Từ khóa: Khoa học máy tính, Chương trình datalog, Datalog dạng tuyển, Lập luận phỏng đoán, Phỏng đoán cực tiểu, Thủ tục tính tập, Hệ thống DLV
Tìm hiểu ngữ nghĩa chương trình Datalog dạng tuyển và ứng dụng để biểu diễn tri thức

Tổng quan về chương trình Datalog; Chương trình Datalog dạng tuyển; Ứng dụng chương trình Datalog dạng tuyển. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

11 p husc 06/05/2024 108 0

Từ khóa: Khoa học máy tính, Ngôn ngữ logic, chương trình datalog, Datalog dạng tuyển, Ràng buộc mạnh, Ràng buộc yếu, Hệ thống DLV, Bài toán tìm đường, Bài toán tô màu
Tìm hiểu ngữ nghĩa chương trình datalog dạng tuyển có tính kế thừa và ứng dụng

Các khái niệm cơ sở về chương trình datalog dạng tuyển; Ngữ nghĩa chương trình datalog dạng tuyển có sự kế thừa. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

11 p husc 04/04/2024 109 0

Từ khóa: Khoa học máy tính, Chương trình datalog, Hệ thống DLV, Thực thi chương trình, Datalog dạng tuyển

Đăng nhập

Bộ sưu tập nổi bật

Tin nhanh

Thư viện Trường Đại học Khoa học Huế

Địa chỉ: 77 Nguyễn Huệ, Phường Thuận Hoá, Thành phố Huế
Email: thuviendhkh@husc.edu.vn
Điện thoại: 0234.3822440 ; 0234.3832447

Phát triển bởi Thư viện số