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.)
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
È questo l'Islam che fa paura
  • PDF
  • Italian
  • Year: 2015
  • Author: Tahar Ben Jelloun
Le mariage de plaisir
  • EPUB
  • French
  • Year: 2016
  • Author: Tahar Ben Jelloun
search