Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Probabilistic Analysis using Theorem Proving : A Higher-order Logic Based Approach

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

by Osman Hasan, SofiFne Tahar Paperback 2008

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Osman Hasan, SofiFne Tahar
  • ISBN 13: 9783639094725
  • ISBN 10: 3639094727
  • Publication Year: 2008
  • Language: German

Specifications

Index-103639094727
LanguageGerman
Index-139783639094725
Period-
Class Track-
Publisher- (2008)
Pages-

✨ Readers also enjoyed...

View All →
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy S…

Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki

Inquire
Formalized Probability Theory and Applications Using Theorem Proving

Formalized Probability Theory and …

Osman Hasan, Sofiène Tahar

Inquire
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Intelligent Computer Mathematics :…

Herman Geuvers, Matthew England, Osman Hasan, Olaf Teschke, Florian Rabe

Inquire
The White Bike

The White Bike

Tamara von Werthern

Inquire