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

Бази даних

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Шекета В. І. Категоріальна інтерпретація модифікаційних предикатних запитів. — 2005 // Пр. Одес. політехн. ун-ту.
17.

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

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

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

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

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