Information Science Reference
Formalized Probability Theory And Applications Using Theorem Proving
Formalized Probability Theory And Applications Using Theorem Proving
ISBN-13: 9781466683150
Precio habitual
$241.69
Precio habitual
Precio de oferta
$241.69
Precio unitario
/
por
Los gastos de envío se calculan en la pantalla de pago.
No se pudo cargar la disponibilidad de retiro
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--
- • Author: Osman Hasan, Sofiene Tahar
- • Publisher: Information Science Reference
- • Publication Date: Mar 31, 2015
- • Number of Pages: 312 pages
- • Language: English
- • Binding: Hardcover
- • ISBN-10: 1466683155
- • ISBN-13: 9781466683150
Share
