عنوان
پدید آورنده
موضوع
رده
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
