Kết quả tìm kiếm

1541

AI*IA 2018 – Advances in Artificial Intelligence

Bỡi Ghidini, Chiara, Magnini, Bernardo, Passerini, Andrea, Traverso, Paolo
Đượ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

1542

KI 2015: Advances in Artificial Intelligence

Bỡi Hölldobler, Steffen, Peñaloza, Rafael, Rudolph, Sebastian
Đượ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

1543

KI 2014: Advances in Artificial Intelligence

Bỡi Lutz, Carsten, Thielscher, Michael
Đượ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

1544

Ngôn ngữ lập trình các nguyên lý và mô hình /

Bỡi Cao Hoàng Trụ
Được phát hành 2004

Những chủ đề: “...Ngôn ngữ lập trình--Lập trình hàm--Lập trình logic...”

Thư viện lưu trữ: Thư viện Trường CĐ Kỹ Thuật Cao Thắng

1545

AI 2004: Advances in Artificial Intelligence

Bỡi Webb, Geoffrey, Yu, Xinghuo
Đượ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

1546

KI 2012: Advances in Artificial Intelligence

Bỡi Glimm, Birte, Krüger, Antonio
Đượ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

1547

KI 2013: Advances in Artificial Intelligence

Bỡi Timm, Ingo J., Thimm, Matthias
Đượ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

1548

Artificial Intelligence and Soft Computing. 1st ed. 2017

Bỡi Rutkowski, Leszek, Korytkowski, Marcin, Scherer, Rafał, Tadeusiewicz, Ryszard, Zadeh, Lotfi A., Zurada, Jacek M.
Đượ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
Liên kết dữ liệu

1549

Digital design and Verilog HDL fundamentals

Bỡi Cavanagh, Joseph
Được phát hành 2008

Những chủ đề: “... Logic circuits; Verilog (Computer hardware description language); Mạch điện tử; Phần cứng...”

Thư viện lưu trữ: Trung tâm Thư viện - Trường Đại học Công nghiệp TP. Hồ Chí Minh

1550

Đại số học

Bỡi Thái, Thanh Sơn
Được phát hành 2014

Những chủ đề: “...Lôgic toán học...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu

1551

Toán rời rạc

Bỡi Nguyễn, Đức Nghĩa
Được phát hành 2014

Những chủ đề: “...Hàm số 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

1552

Toán rời rạc

Bỡi Nguyễn, Đức Nghĩa
Được phát hành 2014

Những chủ đề: “...Hàm số 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

1553

Continuous functions and neural network semantics /

Bỡi Healy, Michael J.

Những chủ đề: “...Logic...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

1554

501 câu hỏi trắc nghiệm về kỹ năng suy diễn và phân tích tiếng Anh 501challenging logic and reasoning questions :Mẫu đề thi và đáp án

Bỡi Lê, Quốc Thảo
Được phát hành 2014

Những chủ đề: “...Tiếng Anh Kỹ năng suy diễn; English Challenging logic; Tiếng Anh Phân tích tiếng Anh...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Thủ Dầu Một

Liên kết dữ liệu

1555

Mô hình hóa quyết định với phép toán tích hợp trung bình trọng số được sắp thứ tự : Luận văn thạc sĩ Tin học chuyên ngành Hệ thống Thông tin

Bỡi Nguyễn, Thị Thủy Chung
Được phát hành 2010

Những chủ đề: “...Logic, symbolic and mathematical,Programming ( mathematics ),Lô gíc, thuật toán ứng dụng...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

1556

Khái quát về nghiên cứu khoa học và vai trò của hoạt động nghiên cứu khoa học đối với sinh viên /

Bỡi Nguyễn Văn Tuấn.

Những chủ đề: “...Tư duy logic...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

1557

Suy diễn với tập mờ loại hai dựa trên đại số gia tử/

Bỡi Trần Đình Khang, Đinh Khắc Dũng

Những chủ đề: “...Hệ lôgic mờ loại hai...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

1558

Tư duy thơ và tư duy thơ hiện đại Việt Nam /

Bỡi Nguyễn Bá Thành
Được phát hành 1996

Những chủ đề: “...Tư duy lôgíc...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

1559

Future directions of fuzzy theory and systems /

Được phát hành 1995

Những chủ đề: “...Fuzzy logic Congresses....”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

1560

AI*IA 2019 – Advances in Artificial Intelligence

Bỡi Alviano, Mario, Greco, Gianluigi, Scarcello, Francesco
Đượ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

Tìm kiếm hẹp