Logics in Computer Science 비슷한 책 더 보기

Temporal Logics in Computer Science Temporal Logics in Computer Science
2016년
Foundations of Software Science and Computation Structures Foundations of Software Science and Computation Structures
2017년
Logics in Artificial Intelligence Logics in Artificial Intelligence
2016년
Automated Reasoning with Analytic Tableaux and Related Methods Automated Reasoning with Analytic Tableaux and Related Methods
2017년
Mathematical Foundations of Computer Science 2015 Mathematical Foundations of Computer Science 2015
2015년
Logics in Artificial Intelligence Logics in Artificial Intelligence
2019년
Fields of Logic and Computation II Fields of Logic and Computation II
2015년
Frontiers of Combining Systems Frontiers of Combining Systems
2019년
Frontiers of Combining Systems Frontiers of Combining Systems
2017년
Dynamic Logic. New Trends and Applications Dynamic Logic. New Trends and Applications
2020년
Foundations of Software Science and Computation Structures Foundations of Software Science and Computation Structures
2016년
Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning
2015년
Frontiers of Combining Systems Frontiers of Combining Systems
2007년
Dynamic Logic. New Trends and Applications Dynamic Logic. New Trends and Applications
2017년
Theoretical Aspects of Computing – ICTAC 2016 Theoretical Aspects of Computing – ICTAC 2016
2016년