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

Бази даних

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

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

Нікітченко М. С. Композиція побудови умови за прообразом у монотонних логіках Флойда - Хоара // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2014. - Вип. 3.
2.

Лещинский В. А. О формальных свойствах исчисления высказываний // Системи озброєння і військ. техніка. - 2016. - № 3.
3.

Лещинский В. А. О формульной записи сложных высказываний // Зб. наук. пр. Харків. ун-ту Повітр. сил. - 2016. - Вип. 2.
4.

Шабанова-Кушнаренко Л. В. Построение структуры линейного пространства для предикатной модели метрики // Системи оброб. інформації. - 2016. - Вип. 1.
5.

Шкільняк С. С. Реномінативні композиційно-номінативні логіки з предикатами рівності // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2014. - Вип. 3.
6.

Нікітченко М. С. V-сингулярні семантичні моделі першопорядкових логік // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2014. - Вип. 2.
7.

Лещинский В. А. О теоремах исчисления высказываний // Системи оброб. інформації. - 2016. - Вип. 9.
8.

Голян Н. В. Алгебра понятий как формальный аппарат моделирования действий интеллекта над понятиями // Системи упр., навігації та зв'язку. - 2016. - Вип. 3.
9.

Шабанов-Кушнаренко С. Ю. О предикатной формализации кванторов // Системи упр., навігації та зв'язку. - 2016. - Вип. 3.
10.

Лещинский В. А. О формульном описании переменных сложных высказываний // Зб. наук. пр. Харків. ун-ту Повітр. сил. - 2016. - Вип. 3.
11.

Пынько А. П. Минимизация КНФ частично-монотонных булевых функций // Доп. НАН України. - 2017. - № 3.
12.

Лещинская И. А. Формулы исчисления высказываний // Системи оброб. інформації. - 2016. - Вип. 9.
13.

Шабанов-Кушнаренко С. Ю. Разработка метода формирования предикатных моделей прототипов структурированных объектов // Системи оброб. інформації. - 2015. - Вип. 9.
14.

Нікітченко М. С. Побудова секвенційних числень чистих першопорядковнх компознційно-номінативних логік однозначних часткових предикатів // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2012. - Вип. 2.
15.

Rukhaia Kh. An algorithm of the classification of unranked propositional logic formulas // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2013. - Вип. 1.
16.

Нікітченко М. С. Алгебри багатозначних предикатів стабільних відносно відношення толерантності // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2013. - Вип. 1.
17.

Шкільняк О. С. Секвенційні числення логік часткових предикатів з розширеними реномінаціями // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2013. - Спец. вип.
18.

Нікітченко М. С. Вироджені семантичні моделі першопорядкових логік // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2014. - Вип. 1.
19.

Антонова І. А. Властивості операторів нерухомої точки в предикатних алгебрах // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2012. - Вип. 2.
20.

Лещинская И. А. Анализ категорных диаграмм и алгебры предикатов как базы предикатной категории // Зб. наук. пр. Харків. ун-ту Повітр. сил. - 2015. - Вип. 2.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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