Formalized Probability Theory and Applications Using Theorem Proving
Osman Hasan, Sofiène Tahar
Inbunden, 2015
2 483 kr
Formalized Probability Theory and Applications Using Theorem Proving
E-bok
20152 950 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Theorem Proving in Higher Order Logics
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar
Häftad, 2002
573 kr
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
Häftad, 2021
721 kr
Del 10383
Intelligent Computer Mathematics
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
Häftad, 2017
573 kr
Verification and Evaluation of Computer and Communication Systems
Sofiene Tahar, Ali Mili, Hanifa Boucheneb, Kamel Barkaoui
E-bok
2017739 kr
Del 1165
Intelligent Computer Mathematics
Olaf Teschke, Florian Rabe, Osman Hasan, Matthew England, Herman Geuvers
E-bok
2017739 kr
Theorem Proving in Higher Order Logics
Sofiene Tahar, Cesar A. Munoz, Victor A. Carreno
E-bok
2003739 kr