Coalgebraic Methods in Computer Science 비슷한 책 더 보기

Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
2022년
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2007년
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2011년
Introduction to Coalgebra Introduction to Coalgebra
Introduction to Coalgebra
2016년
Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
2010년
Mathematical Logic and Theoretical Computer Science Mathematical Logic and Theoretical Computer Science
Mathematical Logic and Theoretical Computer Science
2020년
Logic and Algebra Logic and Algebra
Logic and Algebra
2017년
Term Rewriting and Applications Term Rewriting and Applications
Term Rewriting and Applications
2007년
Rewriting, Computation and Proof Rewriting, Computation and Proof
Rewriting, Computation and Proof
2007년
Relational and Algebraic Methods in Computer Science Relational and Algebraic Methods in Computer Science
Relational and Algebraic Methods in Computer Science
2011년
Automated Reasoning Automated Reasoning
Automated Reasoning
2022년
Developments in Language Theory Developments in Language Theory
Developments in Language Theory
2008년
Algebraic Methods in General Rough Sets Algebraic Methods in General Rough Sets
Algebraic Methods in General Rough Sets
2019년
Effective Mathematics of the Uncountable Effective Mathematics of the Uncountable
Effective Mathematics of the Uncountable
2013년
Complexity, Logic, and Recursion Theory Complexity, Logic, and Recursion Theory
Complexity, Logic, and Recursion Theory
2019년