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

Бази даних

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

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

Нікітченко М. С. Cеквенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення // Проблеми програмування. - 2020. - N 2/3 (спец. вип.).
2.

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

Нікітченко М. С. Ієрархія композиційно-номінативних логік. — 2004 // Пробл. программирования.
4.

Нікітченко М. С. Інтенсіонально-орієнтований підхід до побудови логічних систем. — 2007 // Пробл. програмув.
5.

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

Нікітченко М. С. Алгебри загальних недетермінованих предикатів // Проблеми програмування. - 2018. - № 1.
7.

Нікітченко М. С. Алгебри квазіарних та бі-квазіарних реляцій // Проблеми програмування. - 2016. - № 1.
8.

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

Нікітченко М. С. Композиційні логіки номінативних даних. — 2003 // Пробл. программирования.
10.

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

Нікітченко М. С. Композиційно-номінативні логіки з операторами нерухомої точки. — 2008 // Пробл. програмув.
12.

Нікітченко М. С. Композиційно-номінативні логіки квазіарних предикатів: семантичні аспекти // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2012. - Вип. 4.
13.

Нікітченко М. С. Композиційно-номінативні логіки предикатів над даними з неповною інформацією. — 2004 // Пробл. программирования.
14.

Нікітченко М. Композиційно-номінативні мови програм з асоціативним розіменуванням // Вісн. Львів. ун-ту. Сер. Приклад. математика та інф-ка. - 2010. - Вип. 16.
15.

Нікітченко М. С. Композиційно-номінативні модальні логіки. — 2002 // Пробл. программирования.
16.

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

Нікітченко М. С. Логіки загальних недетермінованих предикатів: семантичні аспекти // Проблеми програмування. - 2018. - N 2/3 (спец. вип.).
18.

Нікітченко М. С. Логіки квазіарних предикатів кванторно-екваційного рівня // Пробл. програмув.. - 2012. - № 4.
19.

Нікітченко М. С. Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення. — 2003 // Пробл. программирования.
20.

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

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