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

Бази даних

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ефимова И. А. О кванторной алгебре предикатных операций. — 2006 // Искусств. интеллект.
19.

Таханов Р. С. Предикатное описание множеств отображений и максимальные предикатные пары. — 2006 // Искусств. интеллект.
20.

Дуцяк І.  Про тотожність логічних операцій та арифметичного додавання індексів булевих функцій. — 2005 // Фіз.-мат. моделювання та інформ. технології.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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