Formalized Probability Theory and Applications Using Theorem Proving

  • Author(s): Osman Hasan; Sofiène Tahar
  • Publisher: Information Science Reference
  • Edition: 1st
  • Print ISBN: 9781466683150, 1466683155
  • eText ISBN: 9781466683174, 1466683171

Description