Formalized Probability Theory and Applications Using Theorem Proving
published by Information Science Reference

Formalized Probability Theory and Applications Using Theorem Proving

  • Author(s):
  • Publisher: Information Science Reference
  • Edition: 1st
  • Print ISBN: 9781466683150, 1466683155
  • eText ISBN: 9781466683174, 1466683171

Description

Table of Contents