• Anglický jazyk

Formalized Probability Theory and Applications Using Theorem Proving

Autor: Osman Hasan

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... Viac o knihe

Na objednávku

200.88 €

bežná cena: 223.20 €

O knihe

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.

  • Vydavateľstvo: Information Science Reference
  • Rok vydania: 2015
  • Formát: Hardback
  • Rozmer: 260 x 183 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9781466683150

Generuje redakčný systém BUXUS CMS spoločnosti ui42.