Gouvernorat de Tunis And NotKamel Barkaoui
List of bibliographic references
Number of relevant bibliographic references: 4.Ident. | Authors (with country if any) | Title |
---|---|---|
000135 | Mouhebeddine Berrima [Tunisie] ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France] | DECIDING KNOWLEDGE IN SECURITY PROTOCOLS UNDER SOME E-VOTING THEORIES |
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. | ![]() |