Logic in Computer Science 비슷한 책 더 보기
Logical Foundations of Computer Science
2017년
Functional and Logic Programming
2008년
Fields of Logic and Computation II
2015년
Logical Foundations of Computer Science
2015년
Logic, Language, Information and Computation
2010년
Fields of Logic and Computation
2010년
Logic Programming and Nonmonotonic Reasoning
2007년
PROOF AND COMPUTATION II
2021년
Automated Reasoning
2020년
Computer Science Logic
2010년
Automated Reasoning
2010년
Revision, Acceptability and Context
2010년
Frontiers of Combining Systems
2007년
Logic, Language, Information, and Computation
2016년
Decision Procedures
2008년