РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР

Бази даних

Реферативна база даних - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Книжкові видання та компакт-диски (39)Журнали та продовжувані видання (3)Автореферати дисертацій (4)
Пошуковий запит: (<.>U=В123$<.>)
Загальна кількість знайдених документів : 111
Представлено документи з 1 до 20
...
1.

Никитченко Н. С. Аппликативные композиции частичных предикатов. — 2001 // Кибернетика и систем. анализ.
2.

Мухамедов Ф. М. Об одном условии регулярности квантовых квадратичных стохастических процессов. — 2001 // Укр. мат. журн.
3.

Выхованец В. С. Обобщенные полиномиальные формы. — 1999 // Радіоелектроніка. Інформатика. Управління.
4.

Чеботарев А. Н. Построение автомата (распознавателя) по формуле монадической теории первого порядка для натуральных чисел. — 2001 // Кибернетика и систем. анализ.
5.

Никитченко Н. С. Пропозициональные композиции частичных предикатов. — 2000 // Кибернетика и систем. анализ.
6.

Дуда О.  Змінні та функції в середовищі реалізації двозначної алгебри логіки. — 1999 // Вісн. Терноп. держ. техн. ун-ту.
7.

Кривый С. Л. О пересечении множеств равенств термов в конечноопределенных алгебрах. — 1998 // Кибернетика и систем. анализ.
8.

Трохимчук Р. М. Булеві функції : Навч. посіб. — К., 2001
9.

Бибило П. Н. Алгоритм декомпозиции частичной булевой функции по многоблочному покрытию множества аргументов. — 2003 // Управляющие системы и машины.
10.

Самофалов К. Г. Комбинаторный подход к синтезу специальных классов булевых функций. — 2004 // Электрон. моделирование.
11.

Андреев Д. В. Математическая модель и элементный базис рекуррентных реляторных структур. — 2002 // Электрон. моделирование.
12.

Рыбка Ю. М. Оптимизация при минимизации булевых функций. — 2004 // Систем. технології.
13.

Рицар Б. Є. Візерунки бульових функцій: метод мінімізації. — 2007 // Управляющие системы и машины.
14.

Денисов А. С. Выполнимость ярких формул. — 2007 // Укр. мат. журн.
15.

Войтович С. А. Доказательство полноты алгебры для логического исчисления с четырехзначной семантикой. — 2005 // Системи оброб. інформації.
16.

Паулин О. Н. К построению прикладной теории симметрических булевых функций. — 2005 // Искусств. интеллект.
17.

Доценко В. А. Конструктивний алгоритм зворотного методу для числення висловлювань. — 2007 // Систем. дослідж. та інформ. технології.
18.

Ревенчук И. А. Математическая модель вычисления значений многочленов на множестве M-разрядных двоичных кодов. — 2005 // Искусств. интеллект.
19.

Рыцар Б. Е. Новый подход к декомпозиции булевых функций методом q-разбиений. 3. Совместная декомпозиция системы функций. — 2007 // Кибернетика и систем. анализ.
20.

Ефимова И. А. О кванторной алгебре предикатных операций. — 2006 // Искусств. интеллект.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського