Logic Programming المزيد من الكتب المشابهة

Logic Programming and Nonmonotonic Reasoning

٢٠١١

Logic Programming and Nonmonotonic Reasoning

٢٠٢٢

Logic-Based Program Synthesis and Transformation

٢٠٠٨

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

٢٠١١

Algebraic Methodology and Software Technology

٢٠١١

Rules and Reasoning

٢٠٢٢

Logic-Based Program Synthesis and Transformation

٢٠١١

Logic Programming and Nonmonotonic Reasoning

٢٠١٧

Logic-Based Program Synthesis and Transformation

٢٠٠٩

Programming Languages and Systems

٢٠١١

Logic Programming and Nonmonotonic Reasoning

٢٠١٥

Verification, Model Checking, and Abstract Interpretation

٢٠١١

Functional and Logic Programming

٢٠٢٢

Theoretical Aspects of Computing – ICTAC 2010

٢٠١٠

Logic-Based Program Synthesis and Transformation

٢٠٢٠