Inductive Logic Programming

QRコード

Inductive Logic Programming

保存先:

書誌詳細
主要な著者:	Kramer, Stefan, Pfahringer, Bernhard
フォーマット:	図書
言語:	English
出版事項:	Springer Berlin Heidelberg 2020
主題:	Computer Science Software Engineering/Programming and Operating Systems Programming Techniques
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82885
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

Inductive Logic Programming
著者:: Blockeel, Hendrik, 等
出版事項: (2020)

Logic Programming
著者:: Gabbrielli, Maurizio, 等
出版事項: (2020)

Logic Programming
著者:: Dahl, Verónica, 等
出版事項: (2020)

Logic-Based Program Synthesis and Transformation
出版事項: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
出版事項: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
著者:: Sutcliffe, Geoff, 等
出版事項: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
著者:: Dershowitz, Nachum, 等
出版事項: (2020)

Genetic Programming
著者:: O'Neill, Michael, 等
出版事項: (2020)

Advanced Functional Programming
著者:: Vene, Varmo, 等
出版事項: (2020)

Datatype-Generic Programming
著者:: Backhouse, Roland, 等
出版事項: (2020)

Multi-Agent Programming
出版事項: (2020)

Mathematics of Program Construction
著者:: Audebaud, Philippe, 等
出版事項: (2020)

Principles and Practice of Constraint Programming - CP 2005
著者:: Beek, Peter van
出版事項: (2020)

Principles and Practice of Constraint Programming - CP 2007
著者:: Bessiere, Christian
出版事項: (2020)

Inductive Logic Programming
著者:: Cussens, James, 等
出版事項: (2020)

Theoretical Aspects of Computing - ICTAC 2008
出版事項: (2020)

Theoretical Aspects of Computing - ICTAC 2009
出版事項: (2020)

Transactions on Petri Nets and Other Models of Concurrency II
出版事項: (2020)

Generative and Transformational Techniques in Software Engineering II
出版事項: (2020)

Automated Reasoning
著者:: Armando, Alessandro, 等
出版事項: (2020)

Software Verification and Validation
著者:: Fisher, Marcus S.
出版事項: (2020)

Algebraic Methodology and Software Technology
著者:: Meseguer, José, 等
出版事項: (2020)

Object-Oriented Technology. ECOOP 2004 Workshop Reader
出版事項: (2020)

Graph Transformations
出版事項: (2020)

Verification, Model Checking, and Abstract Interpretation
出版事項: (2020)

Transactions on Aspect-Oriented Software Development V
出版事項: (2020)

Models in Software Engineering
出版事項: (2020)

Formal Methods and Software Engineering
著者:: Butler, Michael, 等
出版事項: (2020)

Semantics and Algebraic Specification
出版事項: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
出版事項: (2020)

Touch of Class
出版事項: (2020)

Validated Designs for Object-oriented Systems
出版事項: (2020)

Ada 2005 Rationale
著者:: Barnes, John
出版事項: (2020)

Artificial Intelligence: Theories, Models and Applications
出版事項: (2020)

Automatic Program Development
著者:: Danvy, Olivier, 等
出版事項: (2020)

Generative Programming and Component Engineering
著者:: Glück, Robert, 等
出版事項: (2020)

Transactions on Pattern Languages of Programming I
出版事項: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
出版事項: (2020)

Programming with Actors
著者:: Ricci, Alessandro, 等
出版事項: (2020)

Inductive Logic Programming
著者:: Riguzzi, Fabrizio, 等
出版事項: (2020)