Foundations of Information and Knowledge Systems 비슷한 책 더 보기

Automated Reasoning Automated Reasoning
2022년
Reachability Problems Reachability Problems
2022년
Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures
2010년
Term Rewriting and Applications Term Rewriting and Applications
2007년
Relational and Algebraic Methods in Computer Science Relational and Algebraic Methods in Computer Science
2011년
Relations and Kleene Algebra in Computer Science Relations and Kleene Algebra in Computer Science
2009년
Rewriting, Computation and Proof Rewriting, Computation and Proof
2007년
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
2011년
Language and Automata Theory and Applications Language and Automata Theory and Applications
2008년
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
2007년
Developments in Language Theory Developments in Language Theory
2008년
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
2022년
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
2018년
Developments in Language Theory Developments in Language Theory
2007년
Complexity, Logic, and Recursion Theory Complexity, Logic, and Recursion Theory
2019년