Osman Hasan
Formalized Probability Theory and Applications Using Theorem Proving Osman Hasan

Name: Formalized Probability Theory and Applications Using Theorem Proving
Price: 35980 JPY
Availability: OutOfStock
Author: Osman Hasan

価格

¥ 35.980

税抜

遠隔倉庫からの取り寄せ

発送予定日年8月6日 - 年8月24日

Osman Hasan の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Formalized Probability Theory and Applications Using Theorem Proving

Osman Hasan

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
言語	英語