Ngữ nghĩa thủ tục của chương trình logic có ràng buộc

Codi QR

Ngữ nghĩa thủ tục của chương trình logic có ràng buộc

Guardat en:

Dades bibliogràfiques
Autors principals:	Trương Công, Tuấn, Trần Thị Ngọc, Trang
Format:	Article
Idioma:	Vietnamese
Publicat:	2014
Matèries:	Lập trình logic ràng buộc
Accés en línia:	http://thuvien.due.udn.vn:8080/dspace/handle/TVDHKT/11677
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Thư viện lưu trữ:	Trường Đại học Kinh tế - Đại học Đà Nẵng

Ítems similars

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.
per: Lê, Thanh Dũng
Publicat: (2013)

Lập trình ràng buộc với bài toán N-quân hậu.
per: Nguyễn, Thị Thu Hà
Publicat: (2013)

Lập trình ràng buộc.
per: Lê, Thanh Dung
Publicat: (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
per: Lê, Hồng Hải, et al.
Publicat: (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
per: Nguyễn, Thị Yến Phi
Publicat: (2020)

Vấn đề ràng buộc toàn vẹn trong mô hình quan hệ và hệ kiểm tra ràng buộc về FD - ứng dụng : Đề tài nghiên cứu khoa học cấp trường /
per: Đặng Phước Huy
Publicat: (2006)

Về yếu tố ưng thuận của hợp đồng /
per: Ngô Huy Cương, TS.

Programming logic and design, comprehensive
per: Farrell, Joyce
Publicat: (2002)

Programmable logic controllers
per: Bolton, W
Publicat: (2015)

Lập trình ràng buộc với bài toán N-quân hậu
per: Nguyễn Thị Thu Hà
Publicat: (2012)

Một thuật toán hiệu quả khai thác các tập phổ biến chứa một tập thuộc tính ràng buộc
per: Dương, Văn Hải, et al.
Publicat: (2012)

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
per: Lê Thanh Dũng
Publicat: (2012)

Nghiên cứu các biện pháp biểu diễn tri thức trong lập trình Logic
per: Nguyễn Thanh, Tú
Publicat: (2018)

Các phương pháp Gradient và phương pháp liên quan cho bài toán tối ưu không ràng buộc và có ràng buộc /
per: Võ Sĩ Xuân
Publicat: (1999)

Điều khiển logic lập trình PLC
per: Tăng, Văn Mùi
Publicat: (2011)

Bản ghi nhớ (MOU) :
per: Trương Trọng Hiểu.

Bước đầu làm quen với logic toán
per: Nguyễn, Mạnh Trinh
Publicat: (1999)

Introduction to logic
per: Copi, Irving M
Publicat: (2005)

Bộ điều khiển logic khả trình PLC và ứng dụng
per: Nguyễn, Văn Khang
Publicat: (2019)

Bộ điều khiển logic khả trình PLC và ứng dụng
per: Nguyễn, Văn Khang
Publicat: (2017)

Bộ điều khiển Logic khả trình PLC và ứng dụng /
per: Nguyễn Văn Khang
Publicat: (2015)

Bộ điều khiển logic khả trình PLC và ứng dụng /
per: Nguyễn Văn Khang
Publicat: (2015)

Bộ điều khiển Logic khả trình PLC và ứng dụng /
per: Nguyễn Văn Khang
Publicat: (2019)

Bộ điều khiển Logic khả trình PLC và ứng dụng /
per: Nguyễn Văn Khang
Publicat: (2015)

Thực tiễn giải quyết tranh chấp về điều ước quốc tế và trường hợp của Tuyên bố về ứng xử của các bên ở Biển Đông (DOC) /
per: Trương Trọng Hiểu.

Nghiên cứu xây dựng thuật toán tìm tuyến đường tối thiểu hóa nhiên liệu có ràng buộc thời gian ứng dụng cho tàu chở hàng
per: Đoàn, Hữu Khánh, et al.
Publicat: (2026)

Giáo trình Phay bánh răng - thanh răng ( sách phô tô) /
per: Hoàng Thanh Tịnh
Publicat: (2008)

The elements of logic
per: Barker, Stephen F.
Publicat: (2003)

The elements of logic
per: Barker, Stephen F.
Publicat: (2003)

Điều khiển logic lập trình PLC
per: Tăng, Văn Mùi
Publicat: (2011)

Điều khiển logic lập trình PLC
per: Tăng, Văn Mùi
Publicat: (2011)

Phương pháp chiếu mở rộng giải bài toán bất đẳng thức biến phân hai cấp
per: Cao, Thị Thu Trang
Publicat: (2026)

Chỉnh hình răng mặt
Publicat: (2013)

Logic học đại cương
per: Nguyễn, Thúy Vân
Publicat: (2009)

Logic học :
per: Lê, Ngọc Triết
Publicat: (2013)

Hegel's logic :
per: Hegel, Georg Wilhelm Friedrich
Publicat: (1975)

Bài giảng răng hàm mặt
Publicat: (2006)

Giáo trình logic học đại cương /
per: Nguyễn Như Hải, TS.
Publicat: (2011)

Lôgic học
per: Nguyễn Trọng Văn

Lôgíc học /
per: Phan Trọng Hoà.
Publicat: (2006)