Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
Osman Hasan, Sofiène TaharТом:
41
Мова:
english
Сторінки:
29
DOI:
10.1007/s10817-008-9113-6
Date:
November, 2008
Файл:
PDF, 505 KB
english, 2008