langage interne

Désignations

français	langage interne (proposal,masculine noun)
anglais	internal language (correct) CONT: The definition of a special internal language to represent internal reasoning and follow a sequence of arguments is somewhat similar to EXCHECK's treatment of proofs, although ACE's language is based on a grammar rather than on logical macro-operators. The translation of the student's statements into the formal language is done with a semantic grammar as defined by Burton and used in SOPHIE.

français

langage interne (proposal,masculine noun)

anglais

internal language (correct)
CONT: The definition of a special internal language to represent internal reasoning and follow a sequence of arguments is somewhat similar to EXCHECK's treatment of proofs, although ACE's language is based on a grammar rather than on logical macro-operators. The translation of the student's statements into the formal language is done with a semantic grammar as defined by Burton and used in SOPHIE.

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

Électronique et informatique informatics

Domaines

Intelligence artificielle

API

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

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