« Résolution de littéraux » : 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 == xxxxxxx == A... ») Balise : Éditeur de wikicode 2017 |
(Aucune différence)
|
Version du 14 septembre 2019 à 10:46
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
literals resolved upon
in performing resolution, the two literals of opposite sign (one from each clause) that are unified and then removed in forming the result clause.
Contributeurs: Patrick Drouin, wiki