Fields of Logic and Computation More Books Like This
Logic, Language, Information and Computation
2010
Logical Foundations of Computer Science
2009
Finite Model Theory and Its Applications
2007
Frontiers of Combining Systems
2009
Handbook of Automated Reasoning
2001
Automated Reasoning
2010
Automated Reasoning
2008
Models of Computation in Context
2011
Computer Science - Theory and Applications
2008
Automated Deduction -- CADE-23
2011
Automated Deduction – CADE 27
2019
Fundamentals of Computation Theory
2011
Foundations of Software Science and Computational Structures
2009
Frontiers of Combining Systems
2011
Functional and Logic Programming
2008