PROOF AND COMPUTATION II 비슷한 책 더 보기

Proof and Computation Proof and Computation
Proof and Computation
2018년
Logical Foundations of Computer Science Logical Foundations of Computer Science
Logical Foundations of Computer Science
2017년
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
2017년
Relations and Kleene Algebra in Computer Science Relations and Kleene Algebra in Computer Science
Relations and Kleene Algebra in Computer Science
2009년
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2011년
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
2016년
Gentzen's Centenary Gentzen's Centenary
Gentzen's Centenary
2015년
Automated Reasoning Automated Reasoning
Automated Reasoning
2020년
Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
2010년
Logica Universalis Logica Universalis
Logica Universalis
2005년
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
2018년
Logic and Its Applications Logic and Its Applications
Logic and Its Applications
2019년
Relational and Algebraic Methods in Computer Science Relational and Algebraic Methods in Computer Science
Relational and Algebraic Methods in Computer Science
2018년
Rewriting, Computation and Proof Rewriting, Computation and Proof
Rewriting, Computation and Proof
2007년
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2007년