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

Бази даних

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

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

Рогушина Ю. В. Расширение модальной логики для формализации интенсиональных отношений. — 1999 // Управляющие системы и машины.
2.

Беркович Е. Л. Интерпретация одного из обобщений модальной логики Лукасевича. — 2002 // Искусств. интеллект.
3.

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

Шкільняк О. С. Дослідження композиційно-номінативних модальних та темпоральних логік : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01. — К., 2011
5.

Шкільняк О. С. Секвенційні числення композиційно-номінативних модальних і темпоральних логік. — 2009 // Наук. зап. НаУКМА. Сер. Комп'ют. науки.
6.

Шкільняк О. С. Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня. — 2011 // Пробл. програмув.
7.

Шкільняк О. С. Семантичні властивості композиційно-номінативних модальних логік. — 2009 // Пробл. програмув.
8.

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

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

Шкільняк О. С. Побудова секвенційних числень мультимодальних композиційно-номінативних логік // Пробл. програмув.. - 2013. - № 1.
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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