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

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Osman Hasan

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

Aún no valorado

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  

Más del mismo editor

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