Tradução de "формальная семантика" para o inglês
Tradução
Seu texto foi parcialmente traduzido.
Pode traduzir no máximo 999 caracteres por vez.
Faça o login ou registre-se gratuitamente em PROMT.One e traduza ainda mais!
Anuncie
Traduções de dicionário para "формальная семантика"
Exemplos com "формальная семантика"
Более того, регуляторы обязали их этим заняться, попросив оценить, как именно они будут продолжать оказывать услуги своим клиентам в случае «жёсткого» Брексита (правительство Мэй предпочитает говорить о «чистом» Брексите, но это всё семантика).
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).
Политолог Андрей Пионтковский пишет, что это была «формальная, декларативная цель, но все знали о реальной — помочь Асаду справиться с оппозицией...
Political analyst Andrei Piontkovskiy writes that this was a “formal, declarative goal, but everyone knew the real one — to help Assad deal with the opposition...
Поскольку предварительным условием построения таких оснащенных метаданными систем является использование семантически богатой модели метаданных, в качестве иллюстрации приводится пример статистических метаданных, разработанных в рамках проекта 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.
Формальная передача афганской внешней политики Лондону коренным образом изменила динамику Большой игры.
The formal cessation of Afghan foreign policy to London profoundly changed the dynamics of the Great Game.
Они основываются на Формуляре- образце Организации Объединенных Наций для внешнеторговых документов и Справочнике элементов внешнеторговых данных Организации Объединенных Наций, в которых, в частности, определяется структура торговых документов, представление данных, семантика торговых данных и применяемые международные коды для валют и видов транспорта.
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.
Os exemplos de uso de palavras em diferentes contextos são dados só para fins linguísticos, ou seja, para estudar o uso de palavras numa língua e as suas traduções para outra. Todos os exemplos são colecionados automaticamente em fontes abertas usando tecnologia de pesquisa de dados bilíngues. Se você encontrar algum erro de ortografia, pontuação ou outro erro no texto original ou na tradução, use a opção "Reportar um erro" ou escreva para nós.
Baixe nosso aplicativo é gratuito
Repartir com a tradução
Carregando…
Anuncie