architecture de machine logique

Désignations

français	architecture de machine logique (correct,feminine noun)
anglais	logic machine architecture (correct) LMA abrév. (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: A layered family of software tools designed to enable the efficient and flexible use and development of significant theorem proving systems.

Classement

Collections

Électronique et informatique informatics

Domaines

Programmes et programmation (Informatique)

API

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

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