Tài liệu Thư viện số

Danh mục TaiLieu.VN

» Từ khóa: pha n me m swi prolog

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

Tìm hiểu phép hợp giải SLT đối với chương trình Logic

Tổng quan về chương trình logic; Phép hợp giải Sld và Sladnf; Phép hợp giải Slt và ứng dụng. 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

12 p husc 25/11/2021 78 0

Từ khóa: Khoa học máy tính, Chương trình logic, Ngữ nghĩa chương trình, Phép hợp giải, So sánh phép hợp, Phần mềm Swi-Prolog, Phần mềm XSB
Tìm hiểu phép hợp giải SLT đối với chương trình logic

Chương 1: Sẽ tìm hiểu về các kiến thức cơ bản của chương trình logic. Chương 2: Sẽ nghiên cứu về một số phép hợp giải đối với chƣơng trình logic xác định và chƣơng trình logic. Chương 3: Sẽ nghiên cứu về phép hợp giải SLT đối với chương trình logic. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343....

12 p husc 04/01/2019 181 1

Từ khóa: Khoa học máy tính, Chương trình logic, Phép hợp giải, Cài đặt phần mềm, Phần mềm XSB, Phần mềm SWI - Prolog

Đăng nhập

Hướng dẫn khai thác thư viện số

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

Tin nhanh

Trung tâm Thông tin Thư viện trường Đại học Khoa học Huế

Địa chỉ: 77 Nguyễn Huệ, 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ố