Formalized Probability Theory and Applications Using Theorem Proving - Osman Hasan - Libros - Information Science Reference - 9781466683150 - 31 de marzo de 2015
En caso de que portada y título no coincidan, el título será el correcto

Osman Hasan
Formalized Probability Theory and Applications Using Theorem Proving

Precio
$ 221,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 10 - 29 de jun.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 31 de marzo de 2015
ISBN13 9781466683150
Editores Information Science Reference
Género Aspects (Academic) > Science / Technology Aspects
Páginas 312
Dimensiones 178 × 254 × 19 mm   ·   757 g
Lengua Inglés  

Ver todo de Osman Hasan ( Ej. Hardcover Book y Paperback Book )