Tradução de "several-sorted predicate calculus" para o russo
Tradução
Seu texto foi parcialmente traduzido.
Pode traduzir no máximo 5000 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 "several-sorted predicate calculus"
several-sorted predicate calculus
substantivo
pl.
several-sorted predicate calculi
Exemplos com "several-sorted predicate calculus"
In the travaux préparatoires it should be stated that subparagraph (e) takes into account legal principles of several States where prosecution or punishment of the same person for both the predicate offence and the money-laundering offence is not permitted.
В подготовительных материалах следует указать, что подпункт (е) учитывает правовые принципы ряда государств, в которых уголовное преследование или наказание одного и того же лица и за совершение основного правонарушения, и за совершение преступления отмывания денежных средств не допускаются.
For example, a student could rent "Calculus" for the length of the semester for about $20.
Например, один студент смог взять напрокат "Математический анализ" на семестр примерно за $20.
Several thousand people were deprived of transportation by the accident.
Из-за аварии несколько тысяч людей были лишены транспортного сообщения.
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.
Anuncie