Language, Logic, and Computation 비슷한 책 더 보기
Formal Grammar
2016년
Automated Reasoning
2022년
Logic, Language, and Computation
2017년
Typed Lambda Calculi and Applications
2011년
Logic, Language, Information, and Computation
2016년
Logic, Language, Information, and Computation
2017년
Foundations of Software Science and Computational Structures
2010년
Handbook of Logic and Language
2010년
Logic, Language, Information, and Computation
2018년
Dependence Logic
2016년
Typed Lambda Calculi and Applications
2007년
Formal Grammar
2019년
Logic Colloquium '87 (Enhanced Edition)
2000년
Logic and Its Applications
2019년
Logica Universalis
2005년