منو
رکورد قبلیرکورد بعدی

" Formalized probability theory and applications using theorem proving / "


Document Type : BL
Record Number : 564336
Doc. No : b393555
Main Entry : Hasan, Osman,1975-
Title & Author : Formalized probability theory and applications using theorem proving /\ by Osman Hasan and Sofiène Tahar.
Page. NO : 1 online resource.
ISBN : 9781466683167
: : 1466683163
: : 9781680157338
: : 1680157337
: 9781466683150
: 1466683155
Bibliographies/Indexes : Includes bibliographical references and index.
Abstract : "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"--
Subject : Computer systems-- Evaluation.
Subject : Automatic theorem proving.
Subject : Stochastic analysis-- Data processing.
Dewey Classification : ‭004.029‬
LC Classification : ‭QA76.9.E95‬‭H37 2015‬
Added Entry : Tahar, Sofiène,1966-
Added Entry : Knovel (Firm)
copyhttps://lib.clisel.com/site/catalogue/564336
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟