РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
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
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
Ключові слова (без закінчення)
Автор (тільки прізвище)
Назва
Рік видання
у знайденому
Сортувати знайдені документи за:
автором
назвою
роком видання
видом документа
Знайдено в інших БД:
Книжкові видання та компакт-диски (14)
Журнали та продовжувані видання (3)
Автореферати дисертацій (1)
Наукова періодика України (22)
Авторитетний файл імен осіб (1)
Пошуковий запит:
(<.>A=Нікітченко М$<.>)
Загальна кількість знайдених документів
:
39
Представлено документи
з 1 до 20
...
1.
Нікітченко М
. С.
Алгебри квазіарних та бі-квазіарних реляцій
//
Проблеми програмування
. - 2016. - № 1.
2.
Нікітченко М
. С.
Алгебри багатозначних предикатів стабільних відносно відношення толерантності
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2013. - Вип. 1.
3.
Нікітченко М
. С.
V-сингулярні семантичні моделі першопорядкових логік
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2014. - Вип. 2.
4.
Нікітченко М
. С.
Чисті першопорядкові логіки квазіарних предикатів
//
Проблеми програмування
. - 2016. - N 2/3 (спец. вип.).
5.
Нікітченко М
. С.
Композиційно-номінативні логіки із спеціальними предикатами наявності значення для змінних
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2013. - Спец. вип.
6.
Нікітченко М
. С.
Логіки часткових предикатів з розширеними реномінаціями та кванторами
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2013. - Вип. 2.
7.
Нікітченко М
. С.
Побудова секвенційних числень чистих першопорядковнх компознційно-номінативних логік однозначних часткових предикатів
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2012. - Вип. 2.
8.
Нікітченко М
. С.
Вироджені семантичні моделі першопорядкових логік
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2014. - Вип. 1.
9.
Нікітченко М
. С.
Логіки загальних недетермінованих предикатів: семантичні аспекти
//
Проблеми програмування
. - 2018. - N 2/3 (спец. вип.).
10.
Нікітченко М
. С.
Семантичні властивості п'ятизначних логік
//
Проблеми програмування
. - 2018. - № 1.
11.
Нікітченко М
. С.
Cеквенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
//
Проблеми програмування
. - 2020. - N 2/3 (спец. вип.).
12.
Нікітченко М
. С.
Пропозиції логіки часткових предикатів з композицією предикатного доповнення
//
Проблеми програмування
. - 2019. - № 1.
13.
Нікітченко М
.
Композиційно-номінативні мови програм з асоціативним розіменуванням
//
Вісн. Львів. ун-ту. Сер. Приклад. математика та інф-ка
. - 2010. - Вип. 16.
14.
Нікітченко М
. С.
Композиція побудови умови за прообразом у монотонних логіках Флойда - Хоара
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2014. - Вип. 3.
15.
Нікітченко М
. С.
Алгебри загальних недетермінованих предикатів
//
Проблеми програмування
. - 2018. - № 1.
16.
Нікітченко М
. С.
Чисті першопорядкові квазіарні логіки з предикатами рівності
//
Проблеми програмування
. - 2017. - № 2.
17.
Нікітченко М
. С.
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
//
Пробл. програмув.
. - 2014. - № 2/3 (спец. вип.).
18.
Нікітченко М
. С.
Ієрархія композиційно-номінативних логік
. — 2004 //
Пробл. программирования
.
19.
Нікітченко М
. С.
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
. — 2003 //
Пробл. программирования
.
20.
Нікітченко М
. С.
Логіки, орієнтовані на специфікації програм
. — 2006 //
Пробл. програмув
.
...
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України
Всі права захищені ©
Національна бібліотека України імені В. І. Вернадського