Case-Based reasoning và khả năng tiếp cận bằng logic vị từ /

Côd QR

Case-Based reasoning và khả năng tiếp cận bằng logic vị từ /

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Nguyễn Việt Hà.
Awduron Eraill:	Hồ Sĩ Đàm., Phạm Ngọc Hùng.
Fformat:	Erthygl
Iaith:	Vietnamese
Pynciau:	Hình thức hóa Logic vị từ Suy luận
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

Lôgic học đại cương
gan: Vương Tất Đạt
Cyhoeddwyd: (2004)

Case-Based Reasoning Research and Development
gan: Munoz-Avila, Hector, et al.
Cyhoeddwyd: (2020)

Advances in Case-Based Reasoning
Cyhoeddwyd: (2020)

Case-Based Reasoning Research and Development
gan: Aha, David W., et al.
Cyhoeddwyd: (2020)

Logic học
gan: Nguyễn Chương Nhiếp
Cyhoeddwyd: (2010)

Logic Programming and Nonmonotonic Reasoning
gan: Balduccini, Marcello, et al.
Cyhoeddwyd: (2020)

Lôgic hình thức
gan: Vương Tất Đạt
Cyhoeddwyd: (1994)

The evolution of reason: Logic as a branch of biology
gan: Cooper, William S
Cyhoeddwyd: (2013)

Phán đoán phủ định trong lôgíc học Arixtốt /
gan: Nguyễn Gia Thơ, TS.

Logic Programming and Nonmonotonic Reasoning
gan: Baral, Chitta, et al.
Cyhoeddwyd: (2020)

Luyện lý trí : Thuật suy luận trong đời sống hàng ngày /
gan: Nguyễn Hiến Lê, 1912 - 1984
Cyhoeddwyd: (2003)

Giáo trình Lôgíc học hình thức
gan: Nguyễn, Thị Xuân Thanh
Cyhoeddwyd: (2006)

Lôgic học
gan: Gorki, Đ. P.
Cyhoeddwyd: (1974)

Logic in Computer Science: Modelling and Reasoning about Systems (Photo) /
gan: Huth Michael
Cyhoeddwyd: (2002)

Giáo trình Logic học đại cương
gan: Nguyễn, Như Hải
Cyhoeddwyd: (2007)

Giáo trình Logic học đại cương
gan: Nguyễn, Như Hải
Cyhoeddwyd: (2009)

Tư duy logic :
gan: Philips, Charles
Cyhoeddwyd: (2009)

Phê phán lý tính thuần tuý = Kritik der reinen vernunft /
gan: Kant, Immanuel
Cyhoeddwyd: (2004)

Nhập môn logic hình thức và logic phi hình thức
gan: Nguyến Đức Dân
Cyhoeddwyd: (2005)

Ứng dụng logic hình thức (Trong quản lý hành chính nhà nước) /
gan: Nguyễn Anh Tuấn, TS.
Cyhoeddwyd: (2004)

Modal logic
gan: Blackburn, Patrick
Cyhoeddwyd: (2001)

Logic for Programming, Artificial Intelligence, and Reasoning
Cyhoeddwyd: (2020)

Giáo trình Lôgíc học hình thức
gan: Võ, Văn Thắng
Cyhoeddwyd: (2012)

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
gan: Trillas, Enric
Cyhoeddwyd: (2020)

Giáo trình logic học hình thức
gan: Võ, Văn Thắng
Cyhoeddwyd: (2017)

Applying case-based reasoning : Techniques for enterprise systems
gan: Watson, Ian D
Cyhoeddwyd: (1997)

The evolution of reason :
gan: Cooper, William S.
Cyhoeddwyd: (2001)

Automated Reasoning
gan: Galmiche, Didier, et al.
Cyhoeddwyd: (2020)

Case-Based Approximate Reasoning
gan: Hüllermeier, Eyke
Cyhoeddwyd: (2020)

Logic and philosophy :
gan: Hausman, Alan
Cyhoeddwyd: (2007)

A unified theory of program logics : An approach based on the pi-calculus /
gan: Honda, Kohei.

Logic học :
gan: Lê, Ngọc Triết
Cyhoeddwyd: (2013)

Hegel's logic :
gan: Hegel, Georg Wilhelm Friedrich
Cyhoeddwyd: (1975)

Heuristic Reasoning
gan: Ippoliti, Emiliano
Cyhoeddwyd: (2015)

Correct Reasoning
gan: Erdem, Esra, et al.
Cyhoeddwyd: (2020)

The power of logic
gan: Layman, C. Stephen
Cyhoeddwyd: (2005)

The Power of Logic
gan: Layman, Stephen
Cyhoeddwyd: (2005)

Bảy phương pháp giải các bài toán logic
gan: Đặng Huy Ruận
Cyhoeddwyd: (2002)

Foundations of soft case-based reasoning
gan: Pal, Sankar K.
Cyhoeddwyd: (2004)

Case-Based Reasoning Research and Development
gan: Cox, Michael T., et al.
Cyhoeddwyd: (2020)