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

Automated Reasoning Automated Reasoning
٢٠٠٨
Automated Reasoning Automated Reasoning
٢٠١٠
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
٢٠١١
Automated Deduction – CADE-21 Automated Deduction – CADE-21
٢٠٠٧
Functional and Logic Programming Functional and Logic Programming
٢٠١٠
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
٢٠٠٧
Frontiers of Combining Systems Frontiers of Combining Systems
٢٠٠٩
Functional and Logic Programming Functional and Logic Programming
٢٠٢٢
Frontiers of Combining Systems Frontiers of Combining Systems
٢٠١١
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
٢٠١١
Logic Programming Logic Programming
٢٠٠٩
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
٢٠١١
Automated Deduction – CADE 27 Automated Deduction – CADE 27
٢٠١٩
Frontiers of Combining Systems Frontiers of Combining Systems
٢٠٠٧
Logic, Language, Information and Computation Logic, Language, Information and Computation
٢٠١٠