Foundations of Data Exchange More Books Like This
Semantics in Data and Knowledge Bases
2008
Automated Reasoning
2010
Automated Deduction -- CADE-23
2011
Frontiers of Combining Systems
2009
Frontiers of Combining Systems
2011
Fields of Logic and Computation
2010
SOFSEM 2021: Theory and Practice of Computer Science
2021
Automated Reasoning
2008
Theoretical Aspects of Computing – ICTAC 2022
2022
Automata, Languages and Programming
2011
Logic Programming and Nonmonotonic Reasoning
2022
Functional and Logic Programming
2008
Frontiers of Combining Systems
2021
Logic, Language, Information and Computation
2010
Computer Science - Theory and Applications
2008