Frontiers of Combining Systems المزيد من الكتب المشابهة
Frontiers of Combining Systems
٢٠١٧
Automated Deduction – CADE 26
٢٠١٧
Logic for Programming, Artificial Intelligence, and Reasoning
٢٠١٥
Logics in Artificial Intelligence
٢٠١٩
Automated Reasoning with Analytic Tableaux and Related Methods
٢٠١٧
Logics in Artificial Intelligence
٢٠١٦
Foundations of Software Science and Computation Structures
٢٠١٧
Foundations of Software Science and Computation Structures
٢٠١٦
Frontiers of Combining Systems
٢٠٠٧
Logic Programming and Nonmonotonic Reasoning
٢٠١٧
Automated Reasoning
٢٠٠٨
Logic-Based Program Synthesis and Transformation
٢٠٢٠
Fields of Logic and Computation II
٢٠١٥
Interactive Theorem Proving
٢٠١٠
Mathematical Foundations of Computer Science 2015
٢٠١٥