| Herbert B. Enderton, Second-order and Higher-order Logic in Stanford Encyclopedia of Philosophy, published Dec 20, 2007; substantive revision Mar 4, 2009. | Herbert B. Enderton, Second-order and Higher-order Logic в Стэнфордской философской энциклопедии, опубликовано 20 декабря 2007 года; существенно переработано 4 марта 2009 года. |
| Carrier, a world leader in commercial and residential heating, ventilation and air conditioning, will significantly broaden its commercial controls offering with the acquisition of Automated Logic. | Carrier, мировой лидер по производству промышленных и бытовых приборов для вентиляции и кондиционирования воздуха, значительно расширит сферу влияния после приобретения Automated Logic. |
| In September, 2010, Virage Logic was acquired by Synopsys Inc. Adaptive Dynamics - helps restore clarity and fidelity of compressed audio in music, movies and games. | В сентябре 2010 года компанию Virage Logic приобрела Synopsys Inc. Adaptive Dynamics - помогает восстановить чистоту и достоверность звучания сжатого аудиосигнала в музыке, фильмах и играх. |
| The GameCube supports Dolby Pro Logic II. | Dolby Pro Logic II - более усовершенствованная система Dolby Pro Logic. |
| Sir Robert Bryson Hall II (born January 22, 1990), known professionally as Logic, is an American rapper, singer, songwriter, and record producer. | Сир Роберт Брайсон Холл Второй (род. 22 января 1990 года), известный под псевдонимом Logic - американский рэпер, продюсер и автор песен. |
| Manex also handled creature effects, such as Sentinels and machines in real world scenes; Animal Logic created the code hallway and the exploding Agent at the end of the film. | Manex также обрабатывала эффекты существ в сценах «реального мира», таких как охотники и машины; Animal Logic создала эффект коридора из зелёного кода и взрывающего агента в финале фильма. |
| Framestore created 620 shots for the film, Weta Digital created 530, Method Studios more than 500, and Animal Logic created 147. | Framestore создали 620 кадров для фильма, Weta Digital - 530, Method Studios - более 500, а Animal Logic - 147. |
| Extended classical programming languages include logical languages as proposed in Probabilistic Horn Abduction, Independent Choice Logic, PRISM, and ProbLog which proposes an extension of Prolog. | Расширенные классические языки программирования включают в себя логические языки, как предлагается в Вероятностной абдукции Горна (англ. Probabilistic Horn Abduction), Логике независимого выбора (англ. Independent Choice Logic), PRISM и ProbLog, являющимся расширением языка Prolog. |
| 'Dolby Surround/ProLogic' modes mean that that all channels presented in ac3 stream will be mixed into two channels so Dolby Surround/Pro Logic decoder can extract surround channel. | Режим 'Dolby Surround/ProLogic' задает режим микширования в 2 канала так, чтобы Dolby Surround/Pro Logic декодер мог выделить тыловой канал. |
| In 2017, Cara collaborated with DJ and producer Zedd to create the single "Stay", and with rapper Logic to feature in his song "1-800-273-8255". | В 2017 году Кара совместно с диджеем и продюсером Zedd создали сингл «Stay» и с рэппером Logic, который представлен в его песне «1-800-273-8255». |
| Further, by 2005, a team largely composed of Stanford computer scientists from the Stanford Logic group had devoted themselves to studying the uses of computational techniques to the law. | Кроме того, к 2005 году команда, состоящая в основном из учёных Стэнфордского университета, из группы Stanford Logic, посвятила себя изучению использования вычислительных технологий в праве. |
| Alonzo Church, A formulation of the simple theory of types, The Journal of Symbolic Logic 5(2):56-68 (1940) Huet, Gérard P. (1973). | Типизированное лямбда-исчисление Модальная логика Чёрч, Алонзо, А formulation of the simple theory of types, The Journal of Symbolic Logic 5(2):56-68 (1940) Huet, Gérard P. (1973). |
| He contributed to the Information Processing Language (1956) and two of the earliest AI programs, the Logic Theory Machine (1956) and the General Problem Solver (1957) (with Herbert A. Simon). | Работал в исследовательском центре RAND и Университете Карнеги - Меллон, участвовал в разработке языка программирования IPL и двух самых ранних программ искусственного интеллекта - Logic Theory Machine (1956) и General Problem Solver (1957) (совместно с Гербертом Саймоном). |
| West Tri Logic cigarettes with low levels of tar and nicotine and West Fusion were produced - standard length cigarettes in Super Slims format. | Были выпущены сигареты West Tri Logic с низким уровнем содержания никотина и смол и West Fusion - сигареты стандартной длины в формате Super Slims. |
| With Marek Sergot, he developed both the event calculus and the application of logic programming to legal reasoning. | С Мареком Серготом, разработал исчисление событий and the application of logic programming to legal reasoning. и применение логического программирования для юридических целей. |
| The band's single was released alongside their single album, Logic Egoism Delete. | Сингл был выпущен вместе с их сингл-альбомом Logic Egoism Delete. |
| Proposed approach was implemented in program system by means the Fuzzy Logic Toolbox of MatLab. | Предложенный подход реализован в пакете Fuzzy Logic Toolbox среды MatLab. |
| The cover art of the US edition is the same as the UK single "Espresso Logic". | Обложка американского издания совпадает с обложкой британского сингла «Espresso Logic». |
| Play 3D Logic 2: Stronghold of Sage now at Microgames. | Вам доступна также 3D Logic 2: Stronghold of Sage - продолжение 3D Logic, с новыми уровнями и новой графикой. |
| Automated Logic and its subsidiaries will continue operating under their current names, and its headquarters will remain in Kennesaw, Georgia. | Automated Logic и дочерние предприятия продолжат работать под существующими марками, а штаб квартира останется в Кеннесоу, Джорджия. |
| Property specifications are often written as Linear Temporal Logic (LTL) expressions. | Свойства, которые требуется проверить, выражаются как формулы Linear temporal logic (англ.)русск. |
| MAI Logic Inc. went bankrupt, and consequently the supply of Eyetech AmigaOnes dried up. | MAI Logic обанкротилась, а следовательно прекратилась поставка основного компонента для Eyetech AmigaOne. |
| Previous versions were based on an ARC core, with the Management Engine running the ThreadX RTOS from Express Logic. | Предыдущие версии базировались на RISC-ядре ARC, с использованием операционной системы реального времени ThreadX от компании Express Logic. |
| The package also features a 10-speaker ELS Surround audio system with DTS and Dolby Pro Logic II surround sound. | Пакет также включает 10-спикеровую аудиосистему Acura/ELS с объемным звуком DTS и Dolby Pro Logic II. Аудиосистема воспроизводит DVD-Audio диски. |
| The AI can also be tweaked by toggling "Catch Up Logic", meaning the CPU-controlled racers will move faster once you pass them. | ИИ также может быть изменен путем переключения «Catch Up Logic», что означает, что гонщики, управляемые компьютером, будут двигаться быстрее, как только вы их передадите. |