عنوان
پدید آورنده
موضوع
رده
QA76.9.E95 H37 2015
QA76
.
9
.
E95
H37
2015
کتابخانه
محل استقرار
1466683163
1680157337
9781466683167
9781680157338
1466683155
9781466683150
b393555
Formalized probability theory and applications using theorem proving /
[Book]
by Osman Hasan and Sofiène Tahar.
1 online resource.
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"--
Safari Books Online
CL0500000594
Formalized probability theory and applications using theorem proving.
9781466683150
Automatic theorem proving.
Computer systems-- Evaluation.
Stochastic analysis-- Data processing.
004
.
029
23
QA76
.
9
.
E95
H37
2015
Hasan, Osman,1975-
Tahar, Sofiène,1966-
Knovel (Firm)
20151031110110.7
pn
مطالعه متن کتاب [Book]
Y
