Примеры в контексте "Logic - Logic"

Примеры: Logic - Logic
F-logic (frame logic) is a knowledge representation and ontology language. F-логика - (англ. frame logic) - язык представления знаний и онтологий.
Companies such as LSI Logic developed derivatives of the R3000 specifically for embedded systems. Ряд компаний, таких как LSI Logic, создали производные решения на базе R3000 специально для встраиваемых систем.
Automated Logic distributes and installs commercial systems through a network of independent dealers. Automated Logic распространяет и устанавливает промышленные системы через сеть независимых дилеров.
Paul Halmos and Steven Givant (1998) Logic as Algebra. Алгебра множеств Экстремально несвязное пространство Проконечная группа Paul Halmos and Steven Givant (1998) Logic as Algebra.
Open-source platforms like Docassemble and companies such as Neota Logic have begun to offer artificial intelligence and machine learning-based legal expert systems. Такие компании, как Neota Logic начали предлагать правовые экспертные системы на основе искусственного интеллекта и машинного обучения.
The Tone Rebellion is a science fiction real-time strategy game created by The Logic Factory. The Tone Rebellion - фантастическая стратегия в реальном времени от компании The Logic Factory.
Barnet Logic Group Corporation (British Columbia, Canada) is the company working in IT sphere. Barnet Logic Group Corporation (British Columbia, Canada) - компания, работающая в области информационных технологий.
The microprocessor was manufactured by LSI Logic Corp. with technology licensed from SGI. Микропроцессор произведён LSI Logic Corp. при помощи технологии, лицензированной у SGI.
Philips, LSI Logic and IDT have since joined them. Вскоре к ним присоединились Philips, LSI Logic и IDT.
In 2009 ARC International was acquired by Virage Logic Corporation. В 2009 году ARC International в свою очередь была куплена компанией Virage Logic.
Logic released his fifth mixtape, Bobby Tarantino, in 2016. В 2016 году Logic выпустил свой пятый микстейп, Bobby Tarantino (англ.)русск...
Nintendo's Wii console shares many audio components with the Nintendo GameCube from the previous generation, including Dolby Pro Logic II. Приставка Wii, произведённая компанией «Nintendo», разделяет многие аудиокомпоненты с Nintendo GameCube из предыдущего поколения, включая Dolby Pro Logic II. В настоящее время у разработчиков игр есть много вариантов создания музыки.
Both Dell and LSI Logic have indicated that they no longer support these models in the 2.6 kernel. И Dell, и LSI Logic подтвердили отмену поддержки этих моделей в ядре 2.6.
In late 1993, Blüchel left MFS and signed onto Logic Records, a record label owned by BMG. В конце 1993 года Блюхель покинул MFS и подписал контракт с Logic Records, лейбл принадлежавший BMG.
Carrier Corporation, USA, has reached a definitive agreement to acquire Automated Logic Corporation, a technology leader in building automation systems. Carrier Corporation, США, достигла определенного соглашения о приобретении Automated Logic Corporation, лидера в области создания автоматических систем.
Founded in 1977, Automated Logic designs and manufactures innovative building automation and control systems primarily for heating, ventilation, air conditioning and energy management applications. Основанная в 1977 году, Automated Logic разрабатывает и производит новаторские системы управления и автоматизации строительства в основном для применения в сфере отопления, вентиляции и кондиционирования воздуха.
During the last quarter-final best-of-three match on October 6 between European team Counter Logic Gaming EU and Chinese team World Elite, multiple technical difficulties occurred. Во время последнего матча ВоЗ четверть-финала, 6 октября, между европейской командой Counter Logic Gaming EU и китайской World Elite, произошли многочисленные технические неполадки.
Rea would later pay the same compliment to his youngest daughter, Julia, on the album Espresso Logic (1993). Позже подобный комплимент он сделает своей младшей дочери, Джулии (альбом «Espresso Logic», 1993).
We have published the photos from LGS2 (Logic, Game Theory and Social Choice). This photos you can find under this link. Опубликованы фотографии, сделанные на конференции LGS2 (Logic, Game Theory and Social Choice), которая проходила с 21 по 24 июня 2001 года.
Bibliographical description: Logic Programming in Knowledge Domains/ Andrei Mantsivoda, Vladimir Lipovchenko, Anton Malykh// ICLP 2006, LNCS 4079 - 0451. Библиографическое описание: Logic Programming in Knowledge Domains/ Andrei Mantsivoda, Vladimir Lipovchenko, Anton Malykh// ICLP 2006, LNCS 4079 - 0451.
Expeditions: Conquistador was developed by Danish developers Logic Artists, with a core team of 8 to 10 full-time developers and additional freelancers and interns. Expeditions: Conquistador была создана датскими разработчиками Logic Artists, основу команды составляло от 8 до 10 программистов вместе с фрилансерами и интернами.
Audigy 2 ZS uses the Cirrus Logic CS4382 DAC together with the op-amps and can produce an output SNR of 108 dB. В Audigy 2 ZS применен ЦАП CS4382 от Cirrus Logic, который совместно с новыми операционными усилителями обеспечивает отношение сигнал/шум 108 дБА.
It was also chosen by the British band Coldplay to play out after the band had left the stage at concerts on their 2005-2006 Twisted Logic Tour. Именно этой песней британская группа Coldplay сопровождала свой уход со сцены на концертах тура Twisted Logic Tour (2005-2006).
Newer Futurebus+ transceivers that meet the IEEE Std 1194.1-1991 Backplane Transceiver Logic (BTL) standard are still made by Texas Instruments. В частности, трансиверы Futurebus+, соответствующие требованиям стандарта IEEE Std 1194.1-1991 Backplane Transceiver Logic (BTL) продолжают выпускаться компанией Texas Instruments.
She referred only to the Port-Royal Logic as a source of contemporary influence, though still relied upon classical rhetorical theories as she presented her own original ideas. Она ссылалась только на «Port-Royal Logic» как источник современного влияния, однако все ещё полагалась на классические теории риторики, представляя свои идеи.