Preuves par induction implicite : cas des théories associatives-commutatives et observationnelles
/ Narjes Ben Rajeb ; sous la direction de Michaël Rusinowitch, 1997
Information trouvée : Titulaire d'un doctorat en Informatique de l'Université Henri Poincaré (Nancy 1) en
1997
Représentation et traitement des connaissances en logique multivalente : Cas d'une
répartition non uniforme des degrés de vérité / Nouha Chaoued ; [sous la direction
de] Amel Borgi [et] Anne Laurent, 2017, [Thèse]
Information trouvée : Examinateur (en 2017)