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

Đã lưu trong:
Bibliografiske detaljer
Những tác giả chính: Trương Công, Tuấn, Trần Thị Ngọc, Trang
Format: Bài viết
Sprog:Vietnamese
Udgivet: 2014
Fag:
Online adgang:http://thuvien.due.udn.vn:8080/dspace/handle/TVDHKT/11677
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Thư viện lưu trữ: Trường Đại học Kinh tế - Đại học Đà Nẵng