Home Advanced Search

Advanced Search - Page 1

Formalized Probability Theory and Applications Using Theorem Proving
  • PDF
  • English
  • Year: 2015
  • Author: Osman Hasan, Sofiène Tahar
  • PDF
  • English
  • Year: 2017
  • Author: Barkaoui, Kamel; Boucheneb, Hanifa; Mili, Ali; Tahar, Sofiène
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Mike Gordon (auth.), Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (eds.)
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Behzad Akbarpour, Sofiène Tahar (auth.), Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Behzad Akbarpour, Sofiène Tahar (auth.), Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
  • PDF
  • English
  • Year: 2021
  • Author: Asad Ahmed; Osman Hasan; Falah Awwad; Nabil Bastaki
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: England, Matthew; Geuvers, Herman; Hasan, Osman; Rabe, Florian; Teschke, Olaf
contrôle de gestion exos lmd
  • PDF
  • French
  • Year: 2015-2016
  • Author: caroline tahar
Électronique de A à Z : 500 entrées et des exemples pour comprendre
  • RAR
  • French
  • Year: 2006
  • Author: Neffati, Tahar
les rets de l'oiseleur (Nouvelles)
  • PDF
  • French
  • Year: 1984
  • Author: tahar djaout
search