« Algorithme d'unification » : différence entre les versions
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xx... ») Balise : Éditeur de wikicode 2017 |
m (Arielle H a déplacé la page Unification algorithm vers Algorithme d'unification) |
(Aucune différence)
| |
Version du 7 avril 2021 à 23:55
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
unification algorithm
an algorithm for finding a substitution of terms for variables in a set of predicate calculus literals that will make the literals the same.
Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki
