Logical Foundations of Computer Science المزيد من الكتب المشابهة
Computer Science Logic
٢٠١٠
Fields of Logic and Computation
٢٠١٠
Computation and Logic in the Real World
٢٠٠٧
Models of Computation in Context
٢٠١١
Logic, Language, Information and Computation
٢٠١٠
Automated Reasoning
٢٠١٠
Revolutions and Revelations in Computability
٢٠٢٢
Frontiers of Combining Systems
٢٠٠٩
Algebraic and Proof-theoretic Aspects of Non-classical Logics
٢٠٠٧
Computer Science - Theory and Applications
٢٠٠٨
Finite Model Theory and Its Applications
٢٠٠٧
Temporal Logic and State Systems
٢٠٠٨
Foundations of Software Science and Computational Structures
٢٠٠٩
Language and Automata Theory and Applications
٢٠١١
Automated Reasoning
٢٠٠٨