A 25-Year Perspective on Logic Programming المزيد من الكتب المشابهة

Unifying Theories of Programming Unifying Theories of Programming
Unifying Theories of Programming
٢٠١٩
Concurrency, Graphs and Models Concurrency, Graphs and Models
Concurrency, Graphs and Models
٢٠٠٨
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
٢٠١٦
The Logic of Software. A Tasting Menu of Formal Methods The Logic of Software. A Tasting Menu of Formal Methods
The Logic of Software. A Tasting Menu of Formal Methods
٢٠٢٢
Reflections on the Work of C.A.R. Hoare Reflections on the Work of C.A.R. Hoare
Reflections on the Work of C.A.R. Hoare
٢٠١٠
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
٢٠١١
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
Logic Programming and Nonmonotonic Reasoning
٢٠١٥
Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta: The What, the How, and the Why Not?
Models, Mindsets, Meta: The What, the How, and the Why Not?
٢٠١٩
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
Logic Programming and Nonmonotonic Reasoning
٢٠١٧
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
٢٠١٩
Formal Methods Formal Methods
Formal Methods
٢٠٢٣
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
٢٠١٥
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
٢٠١٨
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
٢٠٢٢
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠١٥