Formalized Probability Theory and Applications Using Theorem Proving
af Sofiène Tahar, m.fl.
Bog, Hardback, Engelsk, 2015
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.
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- Bogreolen2.152,95 kr.0,00 kr.2-4 ugerKøb for 2.152,95 kr.Køb
- Tales2.153,95 kr.34,95 kr.2-4 ugerKøb for 2.153,95 kr.Køb
- Pling BØGER2.153,95 kr.34,95 kr.2-4 ugerKøb for 2.153,95 kr.Køb
- SAXO2.154,95 kr.Gratis fragtUkendtKøb for 2.154,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingHardback
- ISBN9781466683150
- Udgivet31/03/2015
- Udgivet afIdea Group,U.S.
- Længde300 sider
- ForfattereSofiène Tahar, Osman Hasan
- GenreBusiness og læring