Declarative Programming and Knowledge Management المزيد من الكتب المشابهة

Declarative Programming and Knowledge Management

٢٠٢٠

Practical Aspects of Declarative Languages

٢٠٢٣

Rules and Reasoning

٢٠١٧

Logic-Based Program Synthesis and Transformation

٢٠١٨

Logic-Based Program Synthesis and Transformation

٢٠٢٠

Integrated Formal Methods

٢٠٢٠

Programming Languages and Systems

٢٠١٧

Logic-Based Program Synthesis and Transformation

٢٠١٥

Tools and Algorithms for the Construction and Analysis of Systems

٢٠١٨

Logic-Based Program Synthesis and Transformation

٢٠١٧

Verification, Model Checking, and Abstract Interpretation

٢٠١٥

Practical Aspects of Declarative Languages

٢٠٠٦

Logic Programming and Nonmonotonic Reasoning

٢٠١٥

Static Analysis

٢٠١٧

Practical Aspects of Declarative Languages

٢٠١٠