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

QR Code

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

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Trương Công, Tuấn, Trần Thị Ngọc, Trang
Format:	Article
Langue:	Vietnamese
Publié:	2014
Sujets:	Lập trình logic ràng buộc
Accès en ligne:	http://thuvien.due.udn.vn:8080/dspace/handle/TVDHKT/11677
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

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

Documents similaires

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

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

Lập trình ràng buộc.
par: Lê, Thanh Dung
Publié: (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
par: Lê, Hồng Hải, et autres
Publié: (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
par: Nguyễn, Thị Yến Phi
Publié: (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 /
par: Đặng Phước Huy
Publié: (2006)

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

Programming logic and design, comprehensive
par: Farrell, Joyce
Publié: (2002)

Programmable logic controllers
par: Bolton, W
Publié: (2015)

Lập trình ràng buộc với bài toán N-quân hậu
par: Nguyễn Thị Thu Hà
Publié: (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
par: Dương, Văn Hải, et autres
Publié: (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
par: Lê Thanh Dũng
Publié: (2012)

Nghiên cứu các biện pháp biểu diễn tri thức trong lập trình Logic
par: Nguyễn Thanh, Tú
Publié: (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 /
par: Võ Sĩ Xuân
Publié: (1999)

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

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

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

Introduction to logic
par: Copi, Irving M
Publié: (2005)

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

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

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

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

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

Bộ điều khiển Logic khả trình PLC và ứng dụng /
par: Nguyễn Văn Khang
Publié: (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) /
par: 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
par: Đoàn, Hữu Khánh, et autres
Publié: (2026)

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

The elements of logic
par: Barker, Stephen F.
Publié: (2003)

The elements of logic
par: Barker, Stephen F.
Publié: (2003)

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

Điều khiển logic lập trình PLC
par: Tăng, Văn Mùi
Publié: (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
par: Cao, Thị Thu Trang
Publié: (2026)

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

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

Logic học :
par: Lê, Ngọc Triết
Publié: (2013)

Hegel's logic :
par: Hegel, Georg Wilhelm Friedrich
Publié: (1975)

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

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

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

Lôgíc học /
par: Phan Trọng Hoà.
Publié: (2006)