De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
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

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.
  • 7. december 2024

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: