Knygos pagal Osman Hasan

Formalized Probability Theory and Applications Using Theorem Proving

Sofiène Tahar, Osman Hasan

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Asad Ahmed, Falah Awwad, Nabil Bastaki, Osman Hasan

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

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

Osman Hasan

Turime sandėlyje pas mūsų tiekėją

Į krepšelį