Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Formalized Probability Theory and Applications Using Theorem Proving

Formalized Probability Theory and Applications Using Theorem Proving - Osman Hasan - Bog

af Osman Hasan, Sofiène Tahar
Formalized Probability Theory and Applications Using Theorem Proving af Osman Hasan
Bag om 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781466683150
  • Indbinding:
  • Hardback
  • Sideantal:
  • 300
  • Udgivet:
  • 31. Marts 2015
  • 2-3 uger.
  • 16. Oktober 2024

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Osman Hasan

Vis alle bøger af Osman Hasan

Beskrivelse af 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.

Brugerbedømmelser af Formalized Probability Theory and Applications Using Theorem Proving



Andre købte også..
Find lignende bøger
Bogen Formalized Probability Theory and Applications Using Theorem Proving findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.