Indexation D000674
D000100 Ouvrages de la bibliothèque en indexation D000674 (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[...]
