Inductive Logic Programming

কিউআর কোড

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)