Utvidet returrett til 31. januar 2025

Formalized Probability Theory and Applications Using Theorem Proving

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 mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9781466683150
  • Bindende:
  • Hardback
  • Sider:
  • 300
  • Utgitt:
  • 31. mars 2015
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 20. desember 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



Finn lignende bøker
Boken Formalized Probability Theory and Applications Using Theorem Proving finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.