Перевод «curry howard isomorphism» на русский

24 / 5000

Ваш текст переведен частично.
Вы можете переводить не более 5000 символов за один раз.

переведено

Словарь: "curry howard isomorphism" - переводы и примеры

curry howard isomorphism существительное

мн. curry howard isomorphisms

изоморфизм Карри-Говарда м.р.

Примеры предложений с "curry howard isomorphism"

curry карри

Howard Archer, chief economist at IHS Global Insight, said: "The best that can be said for the August eurozone manufacturing purchasing managers' survey is that it indicates that the sector is still growing." Говард Арчер, главный экономист IHS Global Insight, сказал: "Лучшее, что можно сказать об августовском исследовании индекса деловой активности производственного сектора еврозоны, это что он показывает, что сектор все еще растет".

With a small group of elites controlling the auction process, access could be used to curry favor and to line the pockets of the country’s entrenched oligarchs. Если процесс аукциона оказывался под контролем небольшой группы элит, доступ мог использоваться для того, чтобы выслужиться и набить карманы влиятельных олигархов страны.

Exclusive extract from Howard Jacobson's acclaimed new novel about love and the letter 'J' Эксклюзивный отрывок из нового романа Говарда Джейкобсона о любви и букве "J", вызвавшего похвалы критиков

They left the impression that Britain was prepared to humiliate Pakistan publicly in order to curry favor with the Indians. Они создавали впечатление, что Великобритания была готова унизить Пакистан публично для того, чтобы выслужиться перед Индией.

Примеры употребления слов в разных контекстах предоставляются исключительно в лингвистических целях, т. е. для изучения употребления слов в одном языке и вариантов их перевода на другой. Все образцы собраны автоматически из открытых источников с помощью технологии поиска на основе двуязычных данных. Если вы обнаружили орфографическую, пунктуационную или иную ошибку в оригинале или переводе, используйте опцию "Сообщить о проблеме" или напишите нам

Скачать мобильные приложения

Перевод текста и слов, разговорники и словарь — всегда под рукой на iOS и Android.

PROMT для бизнеса · Технологии

Решения PROMT для бизнеса

Для всех подразделений

PROMT Neural Translation Server

Перевод на серверах компании: веб-интерфейс, плагины к офисным приложениям, API для внутренних систем

для отдела переводов

PROMT Translation Factory

Рабочая среда переводчика: память переводов, глоссарии, совместная работа над проектами

для компаний со своей терминологией

PROMT Custom AI

Тюнинг нейронных моделей перевода без навыков программирования

Перевод, который говорит на языке вашей отрасли

Машинный перевод общего назначения ломает терминологию: reactor vessel становится «сосудом реактора» вместо «корпуса». PROMT обучает модели на документах компании и ведёт глоссарии, поэтому термины остаются едиными во всех переводах — от технической документации до деловой переписки.

70+языковых пар

6готовых отраслевых моделей

Атомная энергетика Нефть и газ Фармацевтика ИТ другие

Работает в вашем контуре, без передачи данных вовне

Установка в закрытом контуре

Сервер разворачивается внутри периметра компании. Документы не покидают её сеть и не уходят в облако.

Выбор модели перевода

Собственные нейронные модели PROMT или подключение внешней LLM — в зависимости от задачи и требований службы безопасности.

Масштабирование под нагрузку

Производительность наращивается добавлением узлов: от отдела до всей компании.

Интеграция через API и SDK

Перевод встраивается в СЭД, корпоративные порталы, сайты и внутренние сервисы.

Подберём конфигурацию под задачи и требования безопасности вашей компании. Оставить заявку