Functional and Logic Programming المزيد من الكتب المشابهة
Automated Reasoning
٢٠٠٨
Automated Reasoning
٢٠١٠
Automated Deduction -- CADE-23
٢٠١١
Automated Deduction – CADE-21
٢٠٠٧
Functional and Logic Programming
٢٠١٠
Logic Programming and Nonmonotonic Reasoning
٢٠٠٧
Frontiers of Combining Systems
٢٠٠٩
Functional and Logic Programming
٢٠٢٢
Frontiers of Combining Systems
٢٠١١
Algebraic Methodology and Software Technology
٢٠١١
Logic Programming
٢٠٠٩
Logic Programming and Nonmonotonic Reasoning
٢٠١١
Automated Deduction – CADE 27
٢٠١٩
Frontiers of Combining Systems
٢٠٠٧
Logic, Language, Information and Computation
٢٠١٠