Übersetzung von "аксиоматическая семантика" ins Englische

Ausgangssprache auswählen

Ausgangstext

25 / 999

Zielsprache auswählen

Übersetzung

Ihr Text wurde teilweise übersetzt.
Sie können maximal 999 Zeichen gleichzeitig übersetzen.
Loggen Sie sich ein oder registrieren Sie sich kostenlos bei PROMT.One und übersetzen Sie noch mehr!

Wörterbuch für "аксиоматическая семантика"

аксиоматическая семантика f substantiv Deklination

axiomatic semantics

Kontexte mit "аксиоматическая семантика"

Более того, регуляторы обязали их этим заняться, попросив оценить, как именно они будут продолжать оказывать услуги своим клиентам в случае «жёсткого» Брексита (правительство Мэй предпочитает говорить о «чистом» Брексите, но это всё семантика). Indeed, regulators are obliging them to do so, by asking how they will maintain continuity of service to their clients in the event of a “hard” Brexit. (May’s government prefers to talk of a “clean” Brexit, but that is semantics).

Поскольку предварительным условием построения таких оснащенных метаданными систем является использование семантически богатой модели метаданных, в качестве иллюстрации приводится пример статистических метаданных, разработанных в рамках проекта IPIS с использованием универсального языка моделирования (UML), хотя свойства и семантика этой модели еще не полностью изучены. Since a prerequisite for building such metadata-enabled systems is the use of a semantically rich metadata model, an example of a statistical metadata model developed under the IPIS project is illustrated using the Universal Modelling Language (UML), while the properties and semantics of this model are further examined.

Они основываются на Формуляре- образце Организации Объединенных Наций для внешнеторговых документов и Справочнике элементов внешнеторговых данных Организации Объединенных Наций, в которых, в частности, определяется структура торговых документов, представление данных, семантика торговых данных и применяемые международные коды для валют и видов транспорта. They are based on the United Nations Layout Key for Trade Documents (UNLK) and the United Nations Trade Data Elements Directory, that define, among others, the layout of trade documents, presentation of data, semantics of trade data and applicable international codes for currencies and modes of transport.

Beispiele für den Wortgebrauch in verschiedenen Kontexten werden ausschließlich zu linguistischen Zwecken bereitgestellt, d. h. um den Wortgebrauch in einer Sprache und Varianten ihrer Übersetzung in eine andere zu untersuchen. Alle Beispiele werden automatisch aus offenen Quellen mit Hilfe einer zweisprachigen Suchtechnologie gesammelt. Wenn Sie einen Rechtschreib-, Zeichensetzungs- oder anderen Fehler im Original oder in der Übersetzung finden, nutzen Sie die Option „Problem melden“ oder schreiben Sie uns.