Abstraction, Refinement and Proof for Probabilistic Systems More Books Like This
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
2011
Fields of Logic and Computation II
2015
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
2019
Foundations of Software Science and Computation Structures
2017
Foundations of Software Science and Computational Structures
2009
Functional and Logic Programming
2008
Frontiers of Combining Systems
2019
Scalable Uncertainty Management
2022
Automata, Languages and Programming
2011
Automated Deduction -- CADE-23
2011
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
2021
Algorithmic Learning Theory
2008
Fields of Logic and Computation
2010
Automated Deduction – CADE 27
2019
Algorithmic Learning Theory
2016