Inductive Logic Programming

QR kód

Inductive Logic Programming

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Kramer, Stefan, Pfahringer, Bernhard
Médium:	Kniha
Jazyk:	English
Vydáno:	Springer Berlin Heidelberg 2020
Témata:	Computer Science Software Engineering/Programming and Operating Systems Programming Techniques
On-line přístup:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82885
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

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

Podobné jednotky

Inductive Logic Programming
Autor: Blockeel, Hendrik, a další
Vydáno: (2020)

Logic Programming
Autor: Gabbrielli, Maurizio, a další
Vydáno: (2020)

Logic Programming
Autor: Dahl, Verónica, a další
Vydáno: (2020)

Logic-Based Program Synthesis and Transformation
Vydáno: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Vydáno: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Autor: Sutcliffe, Geoff, a další
Vydáno: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Autor: Dershowitz, Nachum, a další
Vydáno: (2020)

Genetic Programming
Autor: O'Neill, Michael, a další
Vydáno: (2020)

Advanced Functional Programming
Autor: Vene, Varmo, a další
Vydáno: (2020)

Datatype-Generic Programming
Autor: Backhouse, Roland, a další
Vydáno: (2020)

Multi-Agent Programming
Vydáno: (2020)

Mathematics of Program Construction
Autor: Audebaud, Philippe, a další
Vydáno: (2020)

Principles and Practice of Constraint Programming - CP 2005
Autor: Beek, Peter van
Vydáno: (2020)

Principles and Practice of Constraint Programming - CP 2007
Autor: Bessiere, Christian
Vydáno: (2020)

Inductive Logic Programming
Autor: Cussens, James, a další
Vydáno: (2020)

Theoretical Aspects of Computing - ICTAC 2008
Vydáno: (2020)

Theoretical Aspects of Computing - ICTAC 2009
Vydáno: (2020)

Transactions on Petri Nets and Other Models of Concurrency II
Vydáno: (2020)

Generative and Transformational Techniques in Software Engineering II
Vydáno: (2020)

Automated Reasoning
Autor: Armando, Alessandro, a další
Vydáno: (2020)

Software Verification and Validation
Autor: Fisher, Marcus S.
Vydáno: (2020)

Algebraic Methodology and Software Technology
Autor: Meseguer, José, a další
Vydáno: (2020)

Object-Oriented Technology. ECOOP 2004 Workshop Reader
Vydáno: (2020)

Graph Transformations
Vydáno: (2020)

Verification, Model Checking, and Abstract Interpretation
Vydáno: (2020)

Transactions on Aspect-Oriented Software Development V
Vydáno: (2020)

Models in Software Engineering
Vydáno: (2020)

Formal Methods and Software Engineering
Autor: Butler, Michael, a další
Vydáno: (2020)

Semantics and Algebraic Specification
Vydáno: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Vydáno: (2020)

Touch of Class
Vydáno: (2020)

Validated Designs for Object-oriented Systems
Vydáno: (2020)

Ada 2005 Rationale
Autor: Barnes, John
Vydáno: (2020)

Artificial Intelligence: Theories, Models and Applications
Vydáno: (2020)

Automatic Program Development
Autor: Danvy, Olivier, a další
Vydáno: (2020)

Generative Programming and Component Engineering
Autor: Glück, Robert, a další
Vydáno: (2020)

Transactions on Pattern Languages of Programming I
Vydáno: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Vydáno: (2020)

Programming with Actors
Autor: Ricci, Alessandro, a další
Vydáno: (2020)

Inductive Logic Programming
Autor: Riguzzi, Fabrizio, a další
Vydáno: (2020)