Ngữ nghĩa thủ tục của chương trình logic có ràng buộc
Shranjeno v:
| Những tác giả chính: | Trương Công, Tuấn, Trần Thị Ngọc, Trang |
|---|---|
| Format: | Bài viết |
| Jezik: | Vietnamese |
| Izdano: |
2014
|
| Teme: | |
| Online dostop: | http://thuvien.due.udn.vn:8080/dspace/handle/TVDHKT/11677 |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
| Thư viện lưu trữ: | Trường Đại học Kinh tế - Đại học Đà Nẵng |
|---|
Podobne knjige/članki
-
Giải bài toán n-quân hậu bằng phương pháp lập trình ràng buộc.
od: Lê, Thanh Dũng
Izdano: (2013) -
Lập trình ràng buộc với bài toán N-quân hậu.
od: Nguyễn, Thị Thu Hà
Izdano: (2013) -
Lập trình ràng buộc.
od: Lê, Thanh Dung
Izdano: (2019) -
Lập trình ràng buộc và ứng dụng vào bài toán lập lịch giảng dạy đại học
od: Lê, Hồng Hải, et al.
Izdano: (2015) -
Một số phương pháp giải bài toán tối ưu phi tuyến có ràng buộc và ứng dụng
od: Nguyễn, Thị Yến Phi
Izdano: (2020)