Formalized Probability Theory and Applications Using Theorem Proving - Osman Hasan - Books - Information Science Reference - 9781466683150 - March 31, 2015
In case cover and title do not match, the title is correct

Formalized Probability Theory and Applications Using Theorem Proving

Osman Hasan

Price
zł 825.90
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 16 - 29

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Formalized Probability Theory and Applications Using Theorem Proving

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.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released March 31, 2015
ISBN13 9781466683150
Publishers Information Science Reference
Genre Aspects (Academic) > Science / Technology Aspects
Pages 312
Dimensions 178 × 254 × 19 mm   ·   757 g
Language English  
Show all

More by Osman Hasan

See all of Osman Hasan ( e.g. Hardcover Book and Paperback Book )