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

Danh mục TaiLieu.VN

Nghiên cứu một số vấn đề về ngữ nghĩa mô hình của chương trình logic và mở rộng của nó

Nghiên cứu việc mở rộng về ngữ nghĩa chương trình logic theo các cách tiếp cận trên xuống (top-down) và dưới lên (bottom-up) khi cho phép các quy tắc có chứa ký hiệu tuyển, ký hiệu phủ định và có chứa các ràng buộc.

Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ:
Email: thuviendhkh@gmail.com
ĐT: 054 3822440 – 054 3832447

Từ khóa: Tin học, chương trình logic, ngữ nghĩa của chương trình logic

5 p tuongvi 18/02/2016 248 1

Bình luận