Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV More Books Like This
Rules and Reasoning
2017
Logic for Programming, Artificial Intelligence, and Reasoning
2015
Automated Deduction – CADE 26
2017
Logic-Based Program Synthesis and Transformation
2020
Logic Programming and Nonmonotonic Reasoning
2017
Applications of Declarative Programming and Knowledge Management
2013
Logic Programming and Nonmonotonic Reasoning
2015
Automated Technology for Verification and Analysis
2015
Tools and Algorithms for the Construction and Analysis of Systems
2018
Scalable Uncertainty Management
2017
Scalable Uncertainty Management
2015
Programming Languages and Systems
2016
Programming Languages and Systems
2017
Programming Languages and Systems
2018
Programming Languages and Systems
2016