Browsing by Author Toumi, Chahrazed
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
21-Jul-2021 | Implémentation d’un Outil de Raisonnement Propositionnel basé sur La Méthode de Résolution par Réfutation | Toumi, Chahrazed; Ghoula, Meriem; Chiba, Raouia |