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: 22 oktober 2024
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
