Sciweavers

B
1998
Springer
14 years 3 months ago
The Generalised Substitution Language Extended to Probabilistic Programs
Let predicate P be converted from Boolean to numeric type by writing P , with false being 0 and true being 1, so that in a degenerate sense P can be regarded as `the probability th...
Carroll Morgan