РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
Оберіть мову
Ukrainian
Arabic
Armenian
Azerbaijani
Belarusian
Bulgarian
Chinese (Simplified)
Chinese (Traditional)
Czech
Danish
Dutch
English
Estonian
Finnish
French
Georgian
German
Greek
Hebrew
Hindi
Hungarian
Icelandic
Irish
Italian
Japanese
Korean
Latvian
Lithuanian
Norwegian
Persian
Polish
Portuguese
Romanian
Russian
Serbian
Slovak
Slovenian
Spanish
Swahili
Swedish
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР
Бази даних
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
Ключові слова (без закінчення)
Автор (тільки прізвище)
Назва
Рік видання
у знайденому
Сортувати знайдені документи за:
автором
назвою
роком видання
видом документа
Знайдено в інших БД:
Книжкові видання та компакт-диски (39)
Журнали та продовжувані видання (3)
Автореферати дисертацій (4)
Пошуковий запит:
(<.>U=В123$<.>)
Загальна кількість знайдених документів
:
111
Представлено документи
з 1 до 20
...
1.
Шкільняк С. С.
Реномінативні композиційно-номінативні логіки з предикатами рівності
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2014. - Вип. 3.
2.
Нікітченко М. С.
V-сингулярні семантичні моделі першопорядкових логік
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2014. - Вип. 2.
3.
Нікітченко М. С.
Композиція побудови умови за прообразом у монотонних логіках Флойда - Хоара
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2014. - Вип. 3.
4.
Опанасенко В. Н.
Синтез адаптивных логических сетей на основе полинома Жегалкина
//
Кибернетика и систем. анализ
. - 2015. - 51, № 6.
5.
Шабанов-Кушнаренко С. Ю.
Разработка метода формирования предикатных моделей прототипов структурированных объектов
//
Системи оброб. інформації
. - 2015. - Вип. 9.
6.
Шабанова-Кушнаренко Л. В.
Построение структуры линейного пространства для предикатной модели метрики
//
Системи оброб. інформації
. - 2016. - Вип. 1.
7.
Лещинский В. А.
О формальных свойствах исчисления высказываний
//
Системи озброєння і військ. техніка
. - 2016. - № 3.
8.
Лещинская И. А.
Формулы исчисления высказываний
//
Системи оброб. інформації
. - 2016. - Вип. 9.
9.
Лещинский В. А.
О теоремах исчисления высказываний
//
Системи оброб. інформації
. - 2016. - Вип. 9.
10.
Голян Н. В.
Алгебра понятий как формальный аппарат моделирования действий интеллекта над понятиями
//
Системи упр., навігації та зв'язку
. - 2016. - Вип. 3.
11.
Лещинский В. А.
О формульной записи сложных высказываний
//
Зб. наук. пр. Харків. ун-ту Повітр. сил
. - 2016. - Вип. 2.
12.
Лещинский В. А.
О формульном описании переменных сложных высказываний
//
Зб. наук. пр. Харків. ун-ту Повітр. сил
. - 2016. - Вип. 3.
13.
Пынько А. П.
Минимизация КНФ частично-монотонных булевых функций
//
Доп. НАН України
. - 2017. - № 3.
14.
Лещинская И. А.
О предикатных интерпретациях классической категории
//
Системи оброб. інформації
. - 2015. - Вип. 5.
15.
Шкільняк О. С.
Секвенційні числення логік часткових предикатів з розширеними реномінаціями
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2013. - Спец. вип.
16.
Нікітченко М. С.
Вироджені семантичні моделі першопорядкових логік
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2014. - Вип. 1.
17.
Антонова І. А.
Властивості операторів нерухомої точки в предикатних алгебрах
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2012. - Вип. 2.
18.
Алексейчук А. Н.
Алгебраически вырожденные приближения булевых функций
//
Кибернетика и систем. анализ
. - 2014. - 50, № 6.
19.
Нікітченко М. С.
Логіки часткових предикатів з розширеними реномінаціями та кванторами
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2013. - Вип. 2.
20.
Нікітченко М. С.
Композиційно-номінативні логіки із спеціальними предикатами наявності значення для змінних
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2013. - Спец. вип.
...
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України
Всі права захищені ©
Національна бібліотека України імені В. І. Вернадського