Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
Udvidet returret til d. 31. januar 2025
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
  • 8-11 hverdage.
  • 29. november 2024

Normalpris

  • BLACK NOVEMBER

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.