Inductive Logic Programming

QR code

Inductive Logic Programming

Bewaard in:

Bibliografische gegevens
Hoofdauteurs:	Riguzzi, Fabrizio, Bellodi, Elena, Zese, Riccardo
Formaat:	Boek
Taal:	English
Gepubliceerd in:	Springer International Publishing 2020
Onderwerpen:	Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters
Online toegang:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88132
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Gelijkaardige items

Logic-Based Program Synthesis and Transformation
door: Hermenegildo, Manuel V, et al.
Gepubliceerd in: (2020)

Rewriting Logic and Its Applications
door: Rusu, Vlad
Gepubliceerd in: (2020)

Principles of Programming Languages
door: Dowek, Gilles
Gepubliceerd in: (2020)

Unifying Theories of Programming
door: Bowen, Jonathan P., et al.
Gepubliceerd in: (2020)

Programming Languages and Systems
Gepubliceerd in: (2020)

Multiparadigm Programming in Mozart/Oz
Gepubliceerd in: (2020)

Program Analysis and Compilation, Theory and Practice
door: Reps, Thomas, et al.
Gepubliceerd in: (2020)

Value-Range Analysis of C Programs
door: Simon, Axel
Gepubliceerd in: (2020)

Compiler Construction
door: Hendren, Laurie
Gepubliceerd in: (2020)

Computer Safety, Reliability, and Security
door: Tonetta, Stefano, et al.
Gepubliceerd in: (2020)

Theoretical Aspects of Computing – ICTAC 2017
door: Hung, Dang Van, et al.
Gepubliceerd in: (2020)

Critical Systems: Formal Methods and Automated Verification
door: Petrucci, Laure, et al.
Gepubliceerd in: (2020)

Computer Safety, Reliability, and Security
door: Tonetta, Stefano, et al.
Gepubliceerd in: (2020)

Compiler Construction
Gepubliceerd in: (2020)

Practical Aspects of Declarative Languages
door: Calimeri, Francesco, et al.
Gepubliceerd in: (2020)

Communicating Sequential Processes. The First 25 Years
Gepubliceerd in: (2020)

Theory and Applications of Formal Argumentation
door: Black, Elizabeth, et al.
Gepubliceerd in: (2020)

Computer Aided Verification
door: Majumdar, Rupak, et al.
Gepubliceerd in: (2020)

Compiler Construction
door: Krishnamurthi, Shriram, et al.
Gepubliceerd in: (2020)

Theoretical Aspects of Computing – ICTAC 2018
door: Fischer, Bernd, et al.
Gepubliceerd in: (2020)

Verified Software. Theories, Tools, and Experiments
door: Chakraborty, Supratik, et al.
Gepubliceerd in: (2020)

Logic Programming
Gepubliceerd in: (2020)

Logic Based Program Synthesis and Transformation
Gepubliceerd in: (2020)

Accelerator Programming Using Directives
door: Chandrasekaran, Sunita, et al.
Gepubliceerd in: (2020)

Logic Programming and Nonmonotonic Reasoning
door: Balduccini, Marcello, et al.
Gepubliceerd in: (2020)

Inductive Logic Programming
door: Cussens, James, et al.
Gepubliceerd in: (2020)

Logic, Language, and Computation
Gepubliceerd in: (2020)

Logic Programming and Nonmonotonic Reasoning
door: Baral, Chitta, et al.
Gepubliceerd in: (2020)

Temporal Logic and State Systems
door: Kröger, Fred, et al.
Gepubliceerd in: (2020)

Logic-Based Program Synthesis and Transformation
door: Fioravanti, Fabio, et al.
Gepubliceerd in: (2020)

Logic and Its Applications
Gepubliceerd in: (2020)

Logics in Artificial Intelligence
Gepubliceerd in: (2020)

Infinity in Logic and Computation
Gepubliceerd in: (2020)

Network Programming with Go
door: Newmarch, Jan
Gepubliceerd in: (2020)

Functional Programming in R
door: Mailund, Thomas
Gepubliceerd in: (2020)

Introduction to Programming with Fortran
door: Chivers, Ian, et al.
Gepubliceerd in: (2020)

Beginning Ada Programming
door: Shvets, Andrew T.
Gepubliceerd in: (2020)

Programming Languages and Systems
door: Nicola, Rocco De
Gepubliceerd in: (2020)

Programming Languages and Systems
door: Caires, Luís
Gepubliceerd in: (2020)

Systems Programming in Unix/Linux
door: Wang, K.C.
Gepubliceerd in: (2020)