Formalized Probability Theory and Applications Using Theorem Proving - Osman Hasan - 書籍 - Information Science Reference - 9781466683150 - 2015年3月31日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Osman Hasan
Formalized Probability Theory and Applications Using Theorem Proving

商品が入荷したらメールで通知を受け取る
プロフィールはありますか？ ログイン
Osman Hasan の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

Marc Notes: Includes bibliographical references and index.; This book discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving--; Provided by publisher.

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2015年3月31日
ISBN13 9781466683150
出版社 Information Science Reference
ジャンル Aspects (Academic) > Science / Technology Aspects
ページ数 312
寸法 178 × 254 × 19 mm   ·   757 g
言語 英語  

同じ出版社からのその他の記事

Osman Hasanのすべてを見る ( 例： Paperback Book および Hardcover Book )