Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1,521 - 1,540 kết quả của 3,031 cho tìm kiếm '"logic"', thời gian truy vấn: 0.09s Tinh chỉnh kết quả
1521
KI 2009: Advances in Artificial Intelligence
Bỡi Mertsching, Bärbel, Hund, Marcus, Aziz, Zaheer
Đượ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:
1522
AI*IA 2013: Advances in Artificial Intelligence
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:
1523
AI*IA 2011: Artificial Intelligence Around Man and Beyond
Bỡi Pirrone, Roberto, Sorbello, Filippo
Đượ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:
1524
Rèn luyện tư duy Logic và ngôn ngữ chính xác cho học sinh thông qua dạy học chương "Hàm số lượng giác và phương trình lượng giác "( Đại số và giải tích 11 nâng cao) Khóa luận tốt nghiệp : Ngành Sư phạm Toán học: Trình độ : Đại học
Bỡi Trần, Ngọc Danh
Được phát hành 2009
Những chủ đề: “...Tư duy Logic...”
Thư viện lưu trữ: Trung tâm Học liệu Lê Vũ Hùng, Trường Đại học Đồng Tháp
Lưu vào danh sách
Đã lưu trong:
1525
Dạy học sinh viên sư phạm toán xây dựng dạng và phương pháp giải bài tập về tam giác đồng dạng dựa trên phân tích cấu trúc logic của một số định lí toán học
Bỡi Phạm, Sỹ Nam, Hoa, Ánh Tường
Được phát hành 2024
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1526
Kết hợp giữa nâng cao năng lực phương pháp luận biện chứng duy vật và năng lực tư duy lôgic để phát triển tư duy lý luận cho đội ngũ cán bộ lãnh đạo, quản lý
Bỡi Trần, Thị Thuận Vũ, Lê, Thị Lan Anh
Được phát hành 2024
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:
1527
Verified Software. Theories, Tools, and Experiments
Bỡi Chakraborty, Supratik, Navas, Jorge A.
Đượ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:
1528
Automated Technology for Verification and Analysis
Bỡi Peled, Doron A., Tsay, Yih-Kuen
Đượ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:
1529
Automated Technology for Verification and Analysis
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:
1530
Computer Aided Systems Theory – EUROCAST 2005
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:
1531
On Sets and Graphs. 1st ed. 2017
Bỡi Omodeo, Eugenio G., Policriti, Alberto, Tomescu, Alexandru I.
Đượ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
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1532
Width parameters beyond tree-width and their applications /
Những chủ đề: “...MSO logic...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
1533
Prediction of posttranslational modifications using intact-protein mass spectrometric data /
Những chủ đề: “...Fuzzy logic...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
1534
Giáo trình kĩ thuật xung - số : Dùng cho các trường đào tạo hệ Trung học chuyên nghiệp /
Bỡi Lương Ngọc Hải, TS.
Được phát hành 2008
Những chủ đề: “...Mạch logic...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
1535
Giáo trình kĩ thuật xung - số : Dùng cho các trường đào tạo hệ Trung học chuyên nghiệp /
Bỡi Lương Ngọc Hải, TS
Được phát hành 2004
Những chủ đề: “...Mạch logic...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
1536
Combinatorics on Words
Bỡi Mercaş, Robert, Reidenbach, Daniel
Đượ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:
1537
AI 2015: Advances in Artificial Intelligence
Bỡi Pfahringer, Bernhard, Renz, Jochen
Đượ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:
1538
KI 2019: Advances in Artificial Intelligence
Bỡi Benzmüller, Christoph, Stuckenschmidt, Heiner
Đượ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:
1539
KI 2016: Advances in Artificial Intelligence
Bỡi Friedrich, Gerhard, Helmert, Malte, Wotawa, Franz
Đượ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:
1540
Mathematics in Computing
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:
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