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