Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Formalized Probability Theory and Applications Using Theorem Proving

Formalized Probability Theory and Applications Using Theorem Proving

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

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781466683150
  • Format:
  • Inbunden
  • Sidor:
  • 300
  • Utgiven:
  • 31. mars 2015
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 17. december 2024

Om Osman Hasan

Se alla böcker av Osman Hasan

Beskrivning 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.

Användarnas betyg av Formalized Probability Theory and Applications Using Theorem Proving



Andra köpte även...
Hitta liknande böcker
Boken Formalized Probability Theory and Applications Using Theorem Proving finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.