Formalized Probability Theory and Applications Using Theorem Proving

by

  • Publisher: Information Science Reference
  • Print ISBN: 9781466683150, 1466683155

  • eText ISBN: 9781466683174, 1466683171

  • Edition: 1st