Abstraction, Refinement and Proof for Probabilistic Systems المزيد من الكتب المشابهة

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

٢٠١١

Fields of Logic and Computation II

٢٠١٥

Automata, Languages and Programming

٢٠١٠

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

٢٠١٩

Foundations of Software Science and Computation Structures

٢٠١٧

Foundations of Software Science and Computational Structures

٢٠٠٩

Functional and Logic Programming

٢٠٠٨

Frontiers of Combining Systems

٢٠١٩

Scalable Uncertainty Management

٢٠٢٢

Automata, Languages and Programming

٢٠١١

Automated Deduction -- CADE-23

٢٠١١

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

٢٠٢١

Algorithmic Learning Theory

٢٠٠٨

Fields of Logic and Computation

٢٠١٠

Automated Deduction – CADE 27

٢٠١٩