algorithme d'unification

Désignations

français	algorithme d'unification (correct,masculine noun)
anglais	unification algorithm (correct) CONT: A unification algorithm should compute for a given problem a complete, and minimal substitution set, that is, a set covering all its solutions, and containing no redundant members.

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

français: Algorithme qui essaie de remplacer les variables inconnues, dont on cherche la valeur, par des constantes en comparant la requête et l'ensemble des assertions.

Classement

Collections

Électronique et informatique informatics

Domaines

Mathématiques informatiques

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-0a9be0ee71127ded/"

Données : TERMIUM Plus, Bureau de la traduction, gouvernement du Canada. Licence du gouvernement ouvert – Canada.