Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Formalized Probability Theory and Applications Using Theorem Proving
- Bindende:
- Hardback
- Sider:
- 300
- Utgitt:
- 31. mars 2015
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 16. januar 2025
Utvidet returrett til 31. januar 2025
Beskrivelse av Formalized Probability Theory and Applications Using Theorem Proving
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. It combines practical application with theoretical discussion.
Brukervurderinger av Formalized Probability Theory and Applications Using Theorem Proving
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Formalized Probability Theory and Applications Using Theorem Proving finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
