Formalized Probability Theory and Applications Using Theorem Proving

Formalized Probability Theory and Applications Using Theorem Proving

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • ページ数 298 p.
  • 言語 ENG
  • 商品コード 9781668413357
  • DDC分類 004.029

最近チェックした商品