Đỗ, Thanh Thuỷ Lập trình logic modal / Đỗ Thanh Thuỷ.. - H. : Trường Đại học Giao thông Vận tải, 2008 9 tr. : minh hoạ ; 29 cm. Bài báo Tóm tắt: Lập trình logic modal là một mở rộng của lập trình logic cổ điển bằng cách thêm vào các toán tử modal (□, ◊) để suy diễn về các luật có thêm yếu tố độ tin cậy (belief), tri thức (knowledge), thay đổi động (dynamic change)…Bài báo trình bày tổng quan về lập trình logic modal
ISBN: Nguồn nội sinh. - ISSN :1859-2724 I. Nhan đề 624 DO-T |
| Nguồn trích: Tạp chí Khoa học Giao thông Vận tải. TCV.78/2008 Số 24/CB CNTT, tr. 42 - 50. |