شماره ركورد

31901

شماره مدرك

4393938

نويسنده/تنالگان

Osman Hasan

عنوان

Formalized Probability Theory and Applications Using Theorem Proving

اطلاعات نشر

IGI Global

سال نشر

2015

شابك

9781466683167 ; 9781466683150