Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 421 - 440 kết quả của 3,026 cho tìm kiếm '"logic"', thời gian truy vấn: 0.08s Tinh chỉnh kết quả
421
Logic-Based Program Synthesis and Transformation
Được phát hành 2020
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:
422
Foundations of Fuzzy Logic and Soft Computing
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:
423
Logic Based Program Synthesis and Transformation
Đượ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:
424
Lập trình lôgic trong Prolog
Bỡi Phan, Huy Khánh
Được phát hành 2014
Những chủ đề: “...Lập trình lôgic...”
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:
425
Logic-Based Program Synthesis and Transformation
Bỡi Fioravanti, Fabio, Gallagher, John P.
Đượ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:
426
Quantitative Logic and Soft Computing 2016
Bỡi Fan, Tai-He, Chen, Shui-Li, Wang, San-Min, Li, Yong-Ming
Được phát hành 2020
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:
427
Fuzzy Logic, Identification and Predictive Control
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:
428
Computational Logic in Multi-Agent 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:
429
Logic for Programming, Artificial Intelligence, and Reasoning
Bỡi Dershowitz, Nachum, Voronkov, Andrei
Được phát hành 2020
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:
430
Dynamic Logic. New Trends and Applications
Bỡi Madeira, Alexandre, Benevides, Mário
Được phát hành 2020
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:
431
Type-2 Fuzzy Logic and Systems
Bỡi John, Robert, Hagras, Hani, Castillo, Oscar
Được phát hành 2020
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:
432
Dynamic Logic. New Trends and Applications
Bỡi Barbosa, Luís Soares, Baltag, Alexandru
Đượ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:
433
Logic-Based Program Synthesis and Transformation
Bỡi Hermenegildo, Manuel V, Lopez-Garcia, Pedro
Đượ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:
434
Computational Logic in Multi-Agent Systems
Được phát hành 2020
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:
435
Theorem Proving in Higher Order Logics
Bỡi Mohamed, Otmane Ait, Munoz, César, Tahar, Sofiène
Được phát hành 2020
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:
436
Theorem Proving in Higher Order Logics
Bỡi Hurd, Joe, Melham, Tom
Được phát hành 2020
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:
437
Logical Foundations of Cyber-Physical Systems
Bỡi Platzer, André
Đượ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:
438
Điều khiển Logic và PLC
Bỡi Nguyễn, Như Hiển, Nguyễn, Mạnh Tùng
Được phát hành 2011
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:
439
Fuzzy Logic and Soft Computing Applications
Bỡi Petrosino, Alfredo, Loia, Vincenzo, Pedrycz, Witold
Được phát hành 2020
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:
440
Advances in modal logic. Vol.3
Được phát hành 2009
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