Yakoub Salhi

Un aperçu de la gestion des incohérences dans les systèmes logiques en utilisant des occurrences de variables.