Lập trình logic modal / Đỗ Thanh Thuỷ.

Lập trình logic modal / Đỗ Thanh Thuỷ.

Bài báo.

Lưu vào:

Hiển thị chi tiết
Tác giả chính:	Đỗ, Thanh Thuỷ.
Định dạng:	text
Thông tin xuất bản:	H. :Trường Đại học Giao thông Vận tải,
Chủ đề:	Lập trình logic Lập trình logic modal Toán tử modal
Truy cập trực tuyến:	http://opac.utc.edu.vn/search/download.asp?ID=4401
Từ khóa:	Thêm từ khóa bạn đọc Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!

Tài liệu tương tự

Many-Dimensional Modal Logics: Theory and Applications
Thông tin tác giả:: Gabbay, Dov M., 1945-, và những người khác
Thông tin xuất bản: (2018)

Modality and tense [electronic resource] : philosophical papers / Kit Fine.
Thông tin tác giả:: Fine, Kit.

Modalities and Multimodalities
Thông tin tác giả:: Carnielli, Walter, và những người khác
Thông tin xuất bản: (2017)

Philosophical and Mathematical Logic
Thông tin tác giả:: Swart, Harrie de
Thông tin xuất bản: (2023)

COMBINATION OF FORMAL LOGIC AND HEDGE ALGEBRA TO ESTIMATE THE DEGREE OF TRUST
Thông tin tác giả:: NGUYEN MANH HUNG
Thông tin xuất bản: (2016)

Combination Of Formal Logic And Hedge Algebra To Estimate The Degree Of Trust / Nguyen Manh Hung
Thông tin tác giả:: Nguyen Manh Hung

The English Modal ?can? and Its Vietnamese Counterpart ?C? th??
Thông tin tác giả:: To, Minh Thanh
Thông tin xuất bản: (2023)

The English modal “can” and its Vietnamese counterpart “có thể”
Thông tin tác giả:: To, Minh Thanh

Medical Imaging Modalities
Thông tin tác giả:: Jun Ni, Ph.D

STRIDE for Structural Identification Using Expectation Maximization: Iterative Output-Only Method for Modal Identification
Thông tin tác giả:: Matarazzo,Thomas J.

Output-only identiﬁcation of modal shape coupling in a ﬂexible robot by vector autoregressive modeling Viet-Hung Vu a ,
Thông tin tác giả:: Vu,Viet-Hung

Deontic Modality in the GDPR Based Finnish Privacy Notices in the Light of the Transparency Principle
Thông tin tác giả:: Rydzewska-Siemiątkowska, Joanna
Thông tin xuất bản: (2023)

Numerically Extracting Bridge Modal Properties from Dynamic Responses of Moving Vehicles
Thông tin tác giả:: Kong,X.

Theoretical and experimental modal analysis
Thông tin tác giả:: Nuno Manual Mendes Maia, và những người khác

Uncertainty quantification in operational modal analysis with stochastic subspace identification: Validation and applications /Edwin Reynders
Thông tin tác giả:: Reynders,Edwin

Phân loại nghĩa tình thái của câu tiếng việt /Nguyễn Thị Nhung.
Thông tin tác giả:: Nguyễn, Thị Nhung.

A contrastive study on modal markers of weak possibility in English and Vietnamese
Thông tin tác giả:: Nguyen, Thi Tuyet
Thông tin xuất bản: (2012)

An investigation into modality markers used in political speeches by US presidents
Thông tin tác giả:: Pham, Khac Thu
Thông tin xuất bản: (2012)

Determinants of ground transport modal choice in long-distance trips in Spain
Thông tin tác giả:: Arbués,Pelayo

A study on modal adjuncts in the mental process in English and Vietnamese newspapers
Thông tin tác giả:: Nguyen, Phuoc Hao
Thông tin xuất bản: (2012)

Nghiên cứu các biện pháp biểu diễn tri thức trong lập trình Logic
Thông tin tác giả:: Nguyễn Thanh, Tú
Thông tin xuất bản: (2018)

Mutil-Modal Non-Contact Heart Rate Estimation Using Rgb-D Camera
Thông tin tác giả:: Le, Quang Dao
Thông tin xuất bản: (2024)

Comparison of multi-storey cross-laminated timber and timber frame buildings by in situ modal analysis
Thông tin tác giả:: Reynolds,Thomas

Yếu tố từ vựng biểu thái của hành động ngôn từ phê bình trong hội thoại Việt-Mỹ =Lexico-modal markers displayed in criticizing utterances in Vietnamese – American conversations/Trương Văn Định.
Thông tin tác giả:: Trương, Văn Định.

Lập trình logíc trong prolog / Phan Huy Khánh
Thông tin tác giả:: PHAN HUY KHÁNH

AN INVESTIGATION INTO MODALITY EXPRESSIONS IN ENGLISH FILM SUBTITLES AND THEIR CORRESPONDING EXPRESSIONS IN THE VIETNAMESE
Thông tin tác giả:: Lê Vương Song Hà
Thông tin xuất bản: (2024)

Thiết bị Logic giả lập trình PLC
Thông tin tác giả:: Nhiều tác giả

Declarative Logic Programming: Theory, Systems, and Applications
Thông tin tác giả:: Michael Kifer
Thông tin xuất bản: (2023)

Điều khiển logic lập trình PLC - Phần 2
Thông tin tác giả:: Tăng, Văn Mùi, và những người khác
Thông tin xuất bản: (2015)

Điều khiển logic lập trình PLC - Phần 1
Thông tin tác giả:: Tăng, Văn Mùi, và những người khác
Thông tin xuất bản: (2015)

Epistemic modality, language, and conceptualization : a cognitive-pragmatic perspective
Thông tin tác giả:: Nuyts, Jan
Thông tin xuất bản: (2016)

Mode Shape Expansion for Lively Pedestrian Bridges through Kriging
Thông tin tác giả:: Simon,Patrick

Yếu tố tình thái trong lời xin lỗi =Modality in apologies /Đặng Thanh Hương.
Thông tin tác giả:: Đặng, Thanh Hương.

Modal density and mode counts of sandwich panels in thermal environments /Jingyong Han, Kaiping Yu ⇑ , Xiangyang Li, Rui Zhao
Thông tin tác giả:: Han,Jingyong

Ngữ nghĩa thủ tục của chương trình logic có ràng buộc
Thông tin tác giả:: Trương Công, Tuấn, và những người khác
Thông tin xuất bản: (2014)

Ngữ nghĩa thủ tục của chương trình logic có ràng buộc
Thông tin tác giả:: Trương Công, Tuấn, và những người khác
Thông tin xuất bản: (2018)

Ngữ nghĩa thủ tục của chương trình logic có ràng buộc
Thông tin tác giả:: Trương Công, Tuấn, và những người khác
Thông tin xuất bản: (2018)

Ngữ nghĩa thủ tục của chương trình logic có ràng buộc
Thông tin tác giả:: Trương Công, Tuấn, và những người khác
Thông tin xuất bản: (2015)

Lập trình lôgic / TS Phan Huy Khánh
Thông tin tác giả:: Phan, Huy KhánhTS Tác giả

Nghiên cứu các phương pháp biểu diễn tri thức trong lập trình logic
Thông tin xuất bản: (2014)