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

Бази даних

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

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

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

Вітюк О. В. Дослідження логічних виразів на істинність // Вісн. Житомир. держ. пед. ун-ту ім. І. Франка. - 1998. - Вип. 2.
3.

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

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

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

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

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

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

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

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

Гуца О. М. Інтерактивна модель перекладу технічних завдань у систему булевих формул : Автореф. дис... канд. техн. наук : 01.05.02. — Х., 2002
12.

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

Грицик В. В. Реалізація бульових та багатозначних логічних функцій на нейронних елементах // Доп. НАН України. - 2004. - № 5.
14.

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

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

Пынько А. П. Генценовское исчисление с устранимым сечением и свойством подформульности для первопорядкового следования логики Дамметта // Доп. НАН України. - 2004. - № 5.
17.

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

Мінзюк В. М. Спосіб спрощення задачі покриття булових функцій. — 2005 // Вісн. Нац. ун-ту "Львів. політехніка".
19.

Рицар Б. Є. Спосіб побудови кон'юнктермового поля булової функції. — 2005 // Вісн. Нац. ун-ту "Львів. політехніка".
20.

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

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