Inductive Logic Programming

QRコード

Inductive Logic Programming

保存先:

書誌詳細
主要な著者:	Riguzzi, Fabrizio, Bellodi, Elena, Zese, Riccardo
フォーマット:	図書
言語:	English
出版事項:	Springer International Publishing 2020
主題:	Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88132
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

Logic-Based Program Synthesis and Transformation
著者:: Hermenegildo, Manuel V, 等
出版事項: (2020)

Rewriting Logic and Its Applications
著者:: Rusu, Vlad
出版事項: (2020)

Principles of Programming Languages
著者:: Dowek, Gilles
出版事項: (2020)

Unifying Theories of Programming
著者:: Bowen, Jonathan P., 等
出版事項: (2020)

Programming Languages and Systems
出版事項: (2020)

Multiparadigm Programming in Mozart/Oz
出版事項: (2020)

Program Analysis and Compilation, Theory and Practice
著者:: Reps, Thomas, 等
出版事項: (2020)

Value-Range Analysis of C Programs
著者:: Simon, Axel
出版事項: (2020)

Compiler Construction
著者:: Hendren, Laurie
出版事項: (2020)

Computer Safety, Reliability, and Security
著者:: Tonetta, Stefano, 等
出版事項: (2020)

Theoretical Aspects of Computing – ICTAC 2017
著者:: Hung, Dang Van, 等
出版事項: (2020)

Critical Systems: Formal Methods and Automated Verification
著者:: Petrucci, Laure, 等
出版事項: (2020)

Computer Safety, Reliability, and Security
著者:: Tonetta, Stefano, 等
出版事項: (2020)

Compiler Construction
出版事項: (2020)

Practical Aspects of Declarative Languages
著者:: Calimeri, Francesco, 等
出版事項: (2020)

Communicating Sequential Processes. The First 25 Years
出版事項: (2020)

Theory and Applications of Formal Argumentation
著者:: Black, Elizabeth, 等
出版事項: (2020)

Computer Aided Verification
著者:: Majumdar, Rupak, 等
出版事項: (2020)

Compiler Construction
著者:: Krishnamurthi, Shriram, 等
出版事項: (2020)

Theoretical Aspects of Computing – ICTAC 2018
著者:: Fischer, Bernd, 等
出版事項: (2020)

Verified Software. Theories, Tools, and Experiments
著者:: Chakraborty, Supratik, 等
出版事項: (2020)

Logic Programming
出版事項: (2020)

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

Accelerator Programming Using Directives
著者:: Chandrasekaran, Sunita, 等
出版事項: (2020)

Logic Programming and Nonmonotonic Reasoning
著者:: Balduccini, Marcello, 等
出版事項: (2020)

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

Logic, Language, and Computation
出版事項: (2020)

Logic Programming and Nonmonotonic Reasoning
著者:: Baral, Chitta, 等
出版事項: (2020)

Temporal Logic and State Systems
著者:: Kröger, Fred, 等
出版事項: (2020)

Logic-Based Program Synthesis and Transformation
著者:: Fioravanti, Fabio, 等
出版事項: (2020)

Logic and Its Applications
出版事項: (2020)

Logics in Artificial Intelligence
出版事項: (2020)

Infinity in Logic and Computation
出版事項: (2020)

Network Programming with Go
著者:: Newmarch, Jan
出版事項: (2020)

Functional Programming in R
著者:: Mailund, Thomas
出版事項: (2020)

Introduction to Programming with Fortran
著者:: Chivers, Ian, 等
出版事項: (2020)

Beginning Ada Programming
著者:: Shvets, Andrew T.
出版事項: (2020)

Programming Languages and Systems
著者:: Nicola, Rocco De
出版事項: (2020)

Programming Languages and Systems
著者:: Caires, Luís
出版事項: (2020)

Systems Programming in Unix/Linux
著者:: Wang, K.C.
出版事項: (2020)