procédure de Knuth-Bendix

· fiche TERMIUM Plus

Désignations

français
  • procédure de Knuth-Bendix (correct,feminine noun)
  • synonyme : complétion de Knuth-Bendix (correct,feminine noun)
anglais
  • Knuth-Bendix completion procedure (correct)

    CONT: The Knuth-Bendix procedure requires ordering to be defined on both the generators and the words.

  • synonyme : Knuth-Bendix procedure (correct)
  • synonyme : Knuth-Bendix completion (correct)

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.

Classement

Collections

Domaines

  • Mathématiques informatiques

API

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

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

Spendieren Sie uns einen Kaffee Daten entdecken