procédure de preuve

· fiche TERMIUM Plus

Désignations

français
  • procédure de preuve (correct,feminine noun)
anglais
  • proof procedure (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.

Définitions

anglais
Is a systematic method for showing that a set of assumptions imply a conclusion. There are two kinds: a goad-directed proof procedure and a connection graph proof procedure.

Classement

Collections

Domaines

  • Intelligence artificielle

API

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

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

Buy us a coffee Explore the data