Éditeur Université D'Aix-Marseille
Documents disponibles chez cet éditeur (1)
Affiner la recherche
texte imprimé
La première partie de la présente étude est consacrée à la définition et à la démonstration des propriétés d'une nouvelle règle d'inférence de clauses appelée c-résolution. L'intérêt essentiel de cette règle d'inférence apparait dans le traitem[...]
