Reasoning about conditional probabilities in a higher-order-logic theorem prover
scientific article; zbMATH DE number 5911156
scientific article