Applied Logic for Computer Scientists 비슷한 책 더 보기

A Proof Theory for Description Logics A Proof Theory for Description Logics
A Proof Theory for Description Logics
2012년
Proof Theory and Algebra in Logic Proof Theory and Algebra in Logic
Proof Theory and Algebra in Logic
2019년
Philosophical Logic: Current Trends in Asia Philosophical Logic: Current Trends in Asia
Philosophical Logic: Current Trends in Asia
2017년
Logical Foundations of Computer Science Logical Foundations of Computer Science
Logical Foundations of Computer Science
2017년
Foundations of Mathematical Logic Foundations of Mathematical Logic
Foundations of Mathematical Logic
2011년
Advances in Proof Theory Advances in Proof Theory
Advances in Proof Theory
2016년
Rigorous Software Development Rigorous Software Development
Rigorous Software Development
2011년
Automated Reasoning with Analytic Tableaux and Related Methods Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
2017년
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
2018년
Logical Foundations of Computer Science Logical Foundations of Computer Science
Logical Foundations of Computer Science
2015년
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
2016년
Hybrid Logic and its Proof-Theory Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
2010년
Modal Logic Modal Logic
Modal Logic
2001년
Logica Universalis Logica Universalis
Logica Universalis
2007년
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
2017년