Osman Hasan grāmatas

Formalized Probability Theory and Applications Using Theorem Proving

Sofiène Tahar, Osman Hasan

Piegādātāja noliktavā

Pievienot grozam

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Asad Ahmed, Falah Awwad, Nabil Bastaki, Osman Hasan

Piegādātāja noliktavā

Pievienot grozam

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

Osman Hasan

Piegādātāja noliktavā

Pievienot grozam