Formalized Probability Theory and Applications Using Theorem Proving
by
Osman Hasan
Hardcover
details (
United States
).
ISBN: 978-1-4666-8315-0
ISBN-10: 1-4666-8315-5
IGI Global
· 2015
