Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1,161 - 1,180 kết quả của 3,031 cho tìm kiếm '"logic"', thời gian truy vấn: 0.15s Tinh chỉnh kết quả
1161
Fuzzy Systems and Knowledge Discovery
Bỡi Wang, Lipo, Jin, Yaochu
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1162
Machine Learning and Data Mining in Pattern Recognition
Bỡi Perner, Petra
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1163
Finite Model Theory and Its Applications
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1164
Concise Guide to Formal Methods
Bỡi O'Regan, Gerard
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1165
Reasoning Web. Semantic Interoperability on the Web
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1166
Frontiers of Combining Systems
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1167
Advanced Boolean Techniques
Bỡi Drechsler, Rolf, Soeken, Mathias
Được phát hành 2020
Những chủ đề: “...Logic Design...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1168
Mechanizing Mathematical Reasoning
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1169
Automated Reasoning with Analytic Tableaux and Related Methods
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1170
Automated Reasoning with Analytic Tableaux and Related Methods
Bỡi Beckert, Bernhard
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1171
Reversible Computation
Bỡi Kari, Jarkko, Ulidowski, Irek
Được phát hành 2020
Những chủ đề: “...Logic Design...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1172
Automated Reasoning with Analytic Tableaux and Related Methods
Bỡi Schmidt, Renate A., Nalon, Cláudia
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1173
String Processing and Information Retrieval
Những chủ đề: “...Arithmetic and Logic Structures...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1174
Machine Learning and Data Mining in Pattern Recognition
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1175
Advances in Computer Systems Architecture
Bỡi Choi, Lynn, Paek, Yunheung, Cho, Sangyeun
Được phát hành 2020
Những chủ đề: “...Arithmetic and Logic Structures...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1176
Frontiers of Combining Systems
Bỡi Konev, Boris, Wolter, Frank
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1177
Accelerator Programming Using Directives
Bỡi Chandrasekaran, Sunita, Juckeland, Guido
Được phát hành 2020
Những chủ đề: “...Logic Design...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1178
Identification of Continuous-time Models from Sampled Data
Bỡi Garnier, Hugues, Wang, Liuping
Được phát hành 2020
Những chủ đề: “...Logic Design...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1179
Frontiers of Combining Systems
Bỡi Gramlich, Bernhard
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1180
Advances in Computer Systems Architecture
Bỡi Srikanthan, Thambipillai, Xue, Jingling, Chang, Chip-Hong
Được phát hành 2020
Những chủ đề: “...Arithmetic and Logic Structures...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS — Tìm kiếm email này — Lưu tìm kiếm