Tipsa dina vänner om produkten:
Formalized Probability Theory and Applications Using Theorem Proving Osman Hasan
Pris
SEK 2.169
Beställningsvara
Förväntad leverans 27 jan - 5 feb
Lägg till din iMusic-önskelista
eller
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.
| Media | Böcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
| Releasedatum | 31 mars 2015 |
| ISBN13 | 9781466683150 |
| Utgivare | Information Science Reference |
| Genre | Aspects (Academic) > Science / Technology Aspects |
| Antal sidor | 312 |
| Mått | 178 × 254 × 19 mm · 757 g |
| Språk | Engelska |
Fler produkter med Osman Hasan
Visa alla
Se alt med Osman Hasan ( t.ex. Inbunden Bok och Pocketbok )