Conte aos seus amigos sobre este item:
Formalized Probability Theory and Applications Using Theorem Proving
Osman Hasan
Preço
A$ 340,49
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 7 - 14 de jul
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Formalized Probability Theory and Applications Using Theorem Proving
Osman Hasan
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.
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 31 de março de 2015 |
| ISBN13 | 9781466683150 |
| Editoras | Information Science Reference |
| Gênero | Aspects (Academic) > Science / Technology Aspects |
| Páginas | 312 |
| Dimensões | 178 × 254 × 19 mm · 757 g |
| Idioma | English |
Mostrar tudo
Mais por Osman Hasan
Ver tudo de Osman Hasan ( por exemplo Hardcover Book e Paperback Book )