Gouvernorat de Tunis And NotNarjes Ben Rajeb
List of bibliographic references
Number of relevant bibliographic references: 4.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000026 | Zohra Sbaï [Tunisie] ; Kamel Barkaoui [France] | Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels |
| 000185 | I. Ben Cheikh [Tunisie] ; A. Kacem [Tunisie] ; Abdel Belaïd [France] | A Neural-Linguistic Approach for the Recognition of a Wide Arabic Word Lexicon |
| 000578 | Francis Alexandre [France] ; Khaled Bsaïes [Tunisie] ; Moussa Demba [Tunisie] | Predicate synthesis from inductive proof attempt of faulty conjectures |
| 000762 | Abdessamad Imine [Tunisie] ; Yahya Slimani [Tunisie] ; Sorin Stratulat [France] | Using automated induction-based theorem provers for reasoning about concurrent systems |
| This area was generated with Dilib version V0.6.33. |  |