Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach

Analysis

von Osman Hasan

Taschenbuch

ISBN: 978-3-639-09472-5

ISBN-10: 3-639-09472-7

VDM Verlag Dr. Müller · 2008