Formalized probability theory and applications using theorem proving
"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"--
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Hershey, PA
Information Science Reference, an imprint of IGI Global
c 2015
|
| Schriftenreihe: | Research essentials
|
| Schlagworte: | |
| Online Zugang: | Inhaltsverzeichnis Übersicht & Leseproben |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Zusammenfassung: | "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"-- |
|---|---|
| Beschreibung: | Includes bibliographical references (pages 287-294) and index |
| Beschreibung: | XII, 298 S. graph. Darst. 27 cm |
| ISBN: | 1466683155 1-4666-8315-5 9781466683150 978-1-4666-8315-0 |