Tìm hiểu việc kết hợp ngữ nghĩa lập trình Logic với Logic mô tả

Trình bày cú pháp và ngữ nghĩa của chương trình logic mô tả xác định và logic thông thườ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