Khaled Bsaies < Khaled Bsaïes < Khaled Elbassioni | Facettes : |
List of bibliographic references indexed by Khaled Bsaïes
Number of relevant bibliographic references: 24.[0-20] [0 - 20][0 - 24][20-23][20-40]
Ident. | Authors (with country if any) | Title |
---|---|---|
000C20 (2014-04-03) | Sonia Ben Ticha [France] ; Azim Roussanaly [France] ; Anne Boyer [France] ; Khaled Bsaïes [France] | User Semantic Model for Dependent Attributes to Enhance Collaborative Filtering |
005A00 (2005-06-08) | Inès Mouakher [Tunisie] ; Francis Alexandre [France] ; Khaled Bsaïes [Tunisie] | Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives |
005C12 (2005) | Inès Mouakher ; Francis Alexandre ; Khaled Bsaïes | Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives |
006670 (2004-03) | Moussa Demba ; Khaled Bsaïes ; Francis Alexandre [France] | Proving Theorems by Folding/Unfolding |
006A25 |