Formalized Probability Theory and Applications Using Theorem Proving - Osman Hasan - Bøker - Information Science Reference - 9781466683150 - 31. mars 2015
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Osman Hasan
Formalized Probability Theory and Applications Using Theorem Proving

Pris
NOK 2.139

Bestillingsvarer

Forventes levert 10. - 18. nov
Julegaver kan byttes frem til 31. januar
Få varsel om nye utgivelser fra Osman Hasan

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

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øker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 31. mars 2015
ISBN13 9781466683150
Utgivere Information Science Reference
Sjanger Aspects (Academic) > Science / Technology Aspects
Antall sider 312
Mål 178 × 254 × 19 mm   ·   757 g
Språk Engelsk  

Mer fra samme **utgiver**

Se alt med Osman Hasan