Formalized Probability Theory and Applications Using Theorem Proving - Osman Hasan - Kirjat - Information Science Reference - 9781466683150 - tiistai 31. maaliskuuta 2015
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Osman Hasan
Formalized Probability Theory and Applications Using Theorem Proving

Hinta
€ 207,99

Tilattu etävarastosta

Arvioitu toimitus pe 23. tammi - ti 3. helmi

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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.

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä tiistai 31. maaliskuuta 2015
ISBN13 9781466683150
Tuottaja Information Science Reference
Genre Aspects (Academic) > Science / Technology Aspects
Sivujen määrä 312
Mitta 178 × 254 × 19 mm   ·   757 g
Kieli Englanti  

Lisää tuotteita Osman Hasan

Näytä kaikki

Katso kaikki joka sisältää Osman Hasan ( Esim. Hardcover Book Ja Paperback Book )