Foundations of inductive logic programming /

Côd QR

Foundations of inductive logic programming /

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Nienhuys-Cheng, S. -H. 1943-
Awduron Eraill:	De Wolf, R. 1973-
Fformat:	Sách giấy
Cyhoeddwyd:	Berlin ; New York : Springer, c1997.
Cyfres:	Lecture notes in computer science ; 1228. Lecture notes in computer science. Lecture notes in artificial intelligence.
Pynciau:	Induction (Logic) Logic programming. Machine learning.
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

Induction motor direct torque control with fuzzy logic method /
gan: Chikhi, Abdessalem.

Lôgíc quy nạp và vai trò của nó trong nhận thức khoa học
gan: Nguyễn, Gia Thơ
Cyhoeddwyd: (2005)

Inductive Logic Programming
gan: Riguzzi, Fabrizio, et al.
Cyhoeddwyd: (2020)

Inductive Logic Programming
gan: Cussens, James, et al.
Cyhoeddwyd: (2020)

Programming logic and design, introductory
gan: Joyce Farrell
Cyhoeddwyd: (2008)

Programming logic and design : comprehensive
gan: Joyce Farrell
Cyhoeddwyd: (2007)

A guide to programming logic and design /
gan: Farrell, Joyce.
Cyhoeddwyd: (1999)

Programming logic and design, comprehensive
gan: Farrell, Joyce
Cyhoeddwyd: (2002)

Programming logic and design
gan: Farrell, Joyce

An object-oriented approach to programming logic and design
gan: Farrell, Joyce
Cyhoeddwyd: (2006)

Logical Foundations of Computer Science. 1st ed. 2018
gan: Artemov, Sergei, et al.
Cyhoeddwyd: (2020)

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

Hume's problem
gan: Howson, Colin
Cyhoeddwyd: (2003)

Logic for computer scientists
gan: Uwe Schoning
Cyhoeddwyd: (1989)

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
gan: Eiter, Th, et al.
Cyhoeddwyd: (2015)

A guide to programming logic and design :
gan: Farrell, Joyce
Cyhoeddwyd: (1999)

Non-deterministic concurrent logic programming in Pandora /
gan: Bahgat, Reem.
Cyhoeddwyd: (1993)

Non-deterministic concurrent logic programming in Pandora /
gan: Bahgat, Reem.
Cyhoeddwyd: (1993)

Logical Foundations of Computer Science
gan: Artemov, Sergei, et al.
Cyhoeddwyd: (2020)

Logic Based Program Synthesis and Transformation
Cyhoeddwyd: (2020)

Logical Foundations of Cyber-Physical Systems
gan: Platzer, André
Cyhoeddwyd: (2020)

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

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

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

Fundamentals of logic design
gan: Roth, Charles H

The logical foundations of Bradley's metaphysics: Judgment, inference, and truth
gan: Allard, James W
Cyhoeddwyd: (2013)

Logic-Based Program Synthesis and Transformation
gan: Fioravanti, Fabio, et al.
Cyhoeddwyd: (2020)

Logic học và phương pháp
gan: Lê, Tử Thành
Cyhoeddwyd: (1991)

Tập bài giảng logic học
gan: Lê, Duy Ninh
Cyhoeddwyd: (2014)

Fundamentals of logic design
gan: Roth, Charles H.
Cyhoeddwyd: (1992)

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

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

Logic-Based Program Synthesis and Transformation
gan: Hermenegildo, Manuel V, et al.
Cyhoeddwyd: (2020)

Foundations of Software Science and Computational Structures
Cyhoeddwyd: (2020)

Foundations of Software Science and Computation Structures
Cyhoeddwyd: (2020)

Tìm hiểu lôgic học
gan: Lê, Tử Thành
Cyhoeddwyd: (1991)

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

Logic học đại cương
gan: Nguyễn, Như Hải
Cyhoeddwyd: (2014)

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

Giáo trình logic học
gan: Lê, Thanh Thập
Cyhoeddwyd: (2013)