Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1 - 15 kết quả của 15 cho tìm kiếm '"logic"', thời gian truy vấn: 0.09s Tinh chỉnh kết quả
1
Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
Được phát hành 2001
Những chủ đề: “...Computer logic Congresses....”
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:
2
Mathematical logic for computer science.
Bỡi Lu Zhungwan
Được phát hành 1989
Những chủ đề: “...Logic, Symbolic and mathematical....”
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:
3
Non-standard inferences in description logics /
Bỡi Kusters, Ralf.
Được phát hành 2001
Những chủ đề: “...Description logics....”
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:
4
Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Được phát hành 2001
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:
5
An introduction to fuzzy logic and fuzzy sets /
Bỡi Buckley, James J., 1936-
Được phát hành 2002
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:
6
A logical theory of nonmonotonic inference and belief change /
Bỡi Bochman, Alexander, 1955-
Được phát hành 2001
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:
7
Beyond two : theory and applications of multiple-valued logic /
Được phát hành 2003
Những chủ đề: “...Many-valued logic....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Table of contents
Lưu vào danh sách
Đã lưu trong:
8
Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents /
Bỡi Kern-Isberner, Gabriele, 1956-
Được phát hành 2001
Những chủ đề: “...Conditionals (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:
9
Learning and soft computing : support vector machines, neural networks, and fuzzy logic models /
Bỡi Kecman, V. 1948-
Được phát hành 2001
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Table of contents
Lưu vào danh sách
Đã lưu trong:
10
Set theory and the continuum hypothesis /
Bỡi Cohen, Paul J., 1934-2007.
Được phát hành 1966
Những chủ đề: “...Logic, Symbolic and mathematical....”
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:
11
Computability & unsolvability /
Bỡi Davis, Martin, 1928-
Được phát hành 1982
Những chủ đề: “...Unsolvability (Mathematical logic)...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Table of contents
Publisher description
Lưu vào danh sách
Đã lưu trong:
12
Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /
Được phát hành 2001
Những chủ đề: “...Logic, Symbolic and mathematical Congresses....”
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:
13
Principles of knowledge representation and reasoning : proceedings of the Eighth international conference (KR 2002) /
Được phát hành 2002
Những chủ đề: “...Logic, Symbolic and mathematical Congresses....”
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:
14
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Được phát hành 2001
Những chủ đề: “...Logic, Symbolic and mathematical Congresses....”
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:
15
Neural network systems, techniques, and applications.
Được phát hành 1998
Mục lục: “... -- v. 6. Fuzzy logic and expert systems applications -- v. 7. Control and dynamic systems....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Table of contents
Publisher description
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