Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1,001 - 1,020 kết quả của 3,031 cho tìm kiếm '"logic"', thời gian truy vấn: 0.20s Tinh chỉnh kết quả
1001
Giáo trình Điện tử số 1 /
Bỡi Nguyễn Nam Quân
Được phát hành 2017
Những chủ đề: “...Toán logic...”
Thư viện lưu trữ: Thư viện Trường CĐ Kỹ Thuật Cao Thắng
Lưu vào danh sách
Đã lưu trong:
1002
Geometry
Bỡi Gelfand, Israel M., Alekseyevskaya (Gelfand), Tatiana
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Foundations...”
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:
1003
Paraconsistent Intelligent-Based Systems New Trends in the Applications of Paraconsistency
Bỡi Abe, Jair M
Được phát hành 2015
Những chủ đề: “...Logic...”
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:
1004
Around the Tree
Bỡi Correia, Fabrice, Iacona, Andrea
Được phát hành 2020
Những chủ đề: “...Logic...”
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:
1005
Interactive Theorem Proving
Bỡi Ayala-Rincón, Mauricio, Muñoz, César A.
Đượ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:
1006
Automated Deduction - CADE-21
Bỡi Pfenning, 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:
1007
Automated Reasoning
Bỡi Galmiche, Didier, Schulz, Stephan, Sebastiani, Roberto
Đượ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:
1008
Developments in Language Theory
Bỡi Hoshi, Mizuho, Seki, Shinnosuke
Được phát hành 2020
Những chủ đề: “...Logics and Meanings of Programs...”
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:
1009
Verification of Object-Oriented Software. The KeY Approach
Bỡi Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.
Được phát hành 2020
Những chủ đề: “...Logics and Meanings of Programs...”
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:
1010
PRIMA 2017: Principles and Practice of Multi-Agent Systems
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:
1011
Frontiers of Combining Systems
Bỡi Dixon, Clare, Finger, Marcelo
Đượ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:
1012
Formal Methods in Software and Systems Modeling
Đượ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:
1013
Scalable Uncertainty Management
Những chủ đề: “...Logics and Meanings of Programs...”
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:
1014
Tools and Algorithms for the Construction and Analysis of Systems
Bỡi Vojnar, Tomáš, Zhang, Lijun
Được phát hành 2020
Những chủ đề: “...Logics and Meanings of Programs...”
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:
1015
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Bỡi Antonucci, Alessandro, Cholvy, Laurence, Papini, Odile
Được phát hành 2020
Những chủ đề: “...Logics and Meanings of Programs...”
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:
1016
Rewriting, Computation and Proof
Bỡi Comon-Lundh, Hubert, Kirchner, Claude, Kirchner, Hélène
Đượ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:
1017
Foundations of Software Science and Computation Structures
Được phát hành 2020
Những chủ đề: “...Logics and Meanings of Programs...”
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:
1018
Algebraic Biology
Được phát hành 2020
Những chủ đề: “...Logics and Meanings of Programs...”
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:
1019
Automated Deduction – CADE-20
Bỡi Nieuwenhuis, Robert
Đượ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:
1020
Intelligent Computer Mathematics
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:
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