We can find an effective enumeration of all the formal proofs in S by some procedure function NthProof(int n) which takes as input n and outputs some proof. | Рассмотрим программу, реализующую эффективное перечисление всех формальных доказательств в s {\displaystyle \mathbf {s}} function NthProof(int n) принимающую на вход n и выдающую некоторое доказательство. |
Converting a short int to network byte order can be done by calling the function htons() (host to network short). | Преобразование short int в порядок байтов может быть выполнено при помощи вызова функции htons() (сокращение от «от хоста в сеть»). |
This property is currently owned by Int. | Отель построен в 1998 году и принадлежит Int. |
In addition to the assumption about bit-representation of floating-point numbers, the previous floating-point type-punning example also violates the C language's constraints on how objects are accessed: the declared type of x is float but it is read through an expression of type unsigned int. | В дополнение к предположениям о битовом представлении чисел с плавающей запятой вышеприведённый пример каламбура типизации также нарушает установленные языком Си правила доступа к объектам: х объявлен как float, но его значение считывается в выражении, имеющем тип signed int. |
Ammonius, In de Int. | Аммоний, In de Int. |
Proposal by Pesticide Action Network International (PAN Int) and International POPs Elimination Network (IPEN) | Предложение Международной сети по борьбе с пестицидами (ПАН Инт) и Международной сети действий по ликвидации СОЗ (ИПЕН) |
Int: intoxication status of victim | Инт. - состояние интоксикации потерпевшего |
Int: intoxication status of perpetrator | Инт. - состояние интоксикации виновного |
Four inches below that is a small switch marked "R-stroke-T INT". | На 4 дюйма ниже находится маленький переключатель с маркировкой "Р-дробь-Т ИНТ". |
In addition, the Panel requested that the Executive Secretary sever and transfer portions of two claims, Kanari Company For Poultry & Fodder and Kuwait & Sharja Int. | Кроме того, Группа просила Исполнительного секретаря отделить и перенести части двух претензий, заявленных "Канари компани фор поултри энд фоддер" и "Кувейт энд шария инт. трейдинг компани". |
Come on, po int the gun at me! | Давай, целься в меня. |
Po int the gun at me! | Целься в меня, давай. |