Inductive Logic Programming

Côd QR

Inductive Logic Programming

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awduron:	Kramer, Stefan, Pfahringer, Bernhard
Fformat:	Llyfr
Iaith:	English
Cyhoeddwyd:	Springer Berlin Heidelberg 2020
Pynciau:	Computer Science Software Engineering/Programming and Operating Systems Programming Techniques
Mynediad Ar-lein:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82885
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

Inductive Logic Programming
gan: Blockeel, Hendrik, et al.
Cyhoeddwyd: (2020)

Logic Programming
gan: Gabbrielli, Maurizio, et al.
Cyhoeddwyd: (2020)

Logic Programming
gan: Dahl, Verónica, et al.
Cyhoeddwyd: (2020)

Logic-Based Program Synthesis and Transformation
Cyhoeddwyd: (2020)

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

Logic for Programming, Artificial Intelligence, and Reasoning
gan: Sutcliffe, Geoff, et al.
Cyhoeddwyd: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
gan: Dershowitz, Nachum, et al.
Cyhoeddwyd: (2020)

Genetic Programming
gan: O'Neill, Michael, et al.
Cyhoeddwyd: (2020)

Advanced Functional Programming
gan: Vene, Varmo, et al.
Cyhoeddwyd: (2020)

Datatype-Generic Programming
gan: Backhouse, Roland, et al.
Cyhoeddwyd: (2020)

Multi-Agent Programming
Cyhoeddwyd: (2020)

Mathematics of Program Construction
gan: Audebaud, Philippe, et al.
Cyhoeddwyd: (2020)

Principles and Practice of Constraint Programming - CP 2005
gan: Beek, Peter van
Cyhoeddwyd: (2020)

Principles and Practice of Constraint Programming - CP 2007
gan: Bessiere, Christian
Cyhoeddwyd: (2020)

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

Theoretical Aspects of Computing - ICTAC 2008
Cyhoeddwyd: (2020)

Theoretical Aspects of Computing - ICTAC 2009
Cyhoeddwyd: (2020)

Transactions on Petri Nets and Other Models of Concurrency II
Cyhoeddwyd: (2020)

Generative and Transformational Techniques in Software Engineering II
Cyhoeddwyd: (2020)

Automated Reasoning
gan: Armando, Alessandro, et al.
Cyhoeddwyd: (2020)

Software Verification and Validation
gan: Fisher, Marcus S.
Cyhoeddwyd: (2020)

Algebraic Methodology and Software Technology
gan: Meseguer, José, et al.
Cyhoeddwyd: (2020)

Object-Oriented Technology. ECOOP 2004 Workshop Reader
Cyhoeddwyd: (2020)

Graph Transformations
Cyhoeddwyd: (2020)

Verification, Model Checking, and Abstract Interpretation
Cyhoeddwyd: (2020)

Transactions on Aspect-Oriented Software Development V
Cyhoeddwyd: (2020)

Models in Software Engineering
Cyhoeddwyd: (2020)

Formal Methods and Software Engineering
gan: Butler, Michael, et al.
Cyhoeddwyd: (2020)

Semantics and Algebraic Specification
Cyhoeddwyd: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Cyhoeddwyd: (2020)

Touch of Class
Cyhoeddwyd: (2020)

Validated Designs for Object-oriented Systems
Cyhoeddwyd: (2020)

Ada 2005 Rationale
gan: Barnes, John
Cyhoeddwyd: (2020)

Artificial Intelligence: Theories, Models and Applications
Cyhoeddwyd: (2020)

Automatic Program Development
gan: Danvy, Olivier, et al.
Cyhoeddwyd: (2020)

Generative Programming and Component Engineering
gan: Glück, Robert, et al.
Cyhoeddwyd: (2020)

Transactions on Pattern Languages of Programming I
Cyhoeddwyd: (2020)

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

Programming with Actors
gan: Ricci, Alessandro, et al.
Cyhoeddwyd: (2020)

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