Formalized Probability Theory and Applications Using Theorem Proving - Osman Hasan - Bücher - Information Science Reference - 9781466683150 - 31. März 2015
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Osman Hasan
Formalized Probability Theory and Applications Using Theorem Proving

Preis
SFr. 175,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 15. - 26. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Marc Notes: Includes bibliographical references and index.; This book 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--; Provided by publisher.

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 31. März 2015
ISBN13 9781466683150
Verlag Information Science Reference
Genre Aspects (Academic) > Science / Technology Aspects
Seitenanzahl 312
Maße 178 × 254 × 19 mm   ·   757 g
Sprache Englisch  

Weitere Titel von Osman Hasan

Alle anzeigen

Alle Titel von Osman Hasan ansehen ( u. a. Gebundenes Buch und Taschenbuch )