Hasan Osman · Osman Hassan · Osman Hüseyin
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Formalized Probability Theory and Applications Using Theorem Proving | 978-1-4666-8315-0 (1-4666-8315-5) | 2015 | ||
| Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings | 978-3-319-62074-9 (3-319-62074-6) | 2017 | Herman Geuvers · Matthew England · Florian Rabe · Olaf Teschke | |
| Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach | 978-3-639-09472-5 (3-639-09472-7) | 2008 | ||
IGI Global · Springer · VDM Verlag Dr. Müller