| Khaled Bsaies < Khaled Bsaïes < Khaled Gaaloul | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 11.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000092 (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 |
| 000853 |