Показ
1 - 6
результатів із
6
для пошуку '
Nikitchenko, M.
'
Перейти до змісту
VuFind
Ваш обліковий запис
Вихід
Логін
Мова
English
Deutsch
Українська
Всі поля
Назва
Назва журналу
Автор
Предмет
Опис
Тег
Знайти
Розширений
Автор
Nikitchenko, M.
Показ
1 - 6
результатів із
6
для пошуку '
Nikitchenko, M.
'
, час виконання запиту: 0.04сек.
Уточнити результати
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Вибрати результат під номером 1
1
Algebras and logics of partial quasiary predicates
за авторством
Nikitchenko, M.
,
Shkilniak, S.
Опубліковано 2017
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 2
2
Чисті першопорядкові квазіaрні логіки з предикатами рівності
за авторством
Nikitchenko, M.S.
,
Shkilniak, S.S.
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 3
3
Семантичні властивості п’ятизначних логік
за авторством
Nikitchenko, M.S.
,
Shyshatska, E.V.
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 4
4
Чисті першопорядкові логіки квазіарних предикатів
за авторством
Nikitchenko, M.S.
,
Shkilniak, О.S.
,
Shkilniak, S.S.
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 5
5
Логіки загальних недетермінованих предикатів: cемантичні аспекти
за авторством
Nikitchenko, M.S.
,
Shkilniak, О.S.
,
Shkilniak, S.S.
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 6
6
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
за авторством
Nikitchenko, M.S.
,
Shkilniak, O.S.
,
Shkilniak, S.S.
,
Mamedov, T.A.
Опубліковано 2019
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Інструменти для пошуку:
Отримати RSS-стрічку
–
Відправити пошук е-поштою
Пов'язані теми
UDC 004.42:510.69
logic
УДК 004.42:510.69
логика
logical consequence
логіка
логічний наслідок
логическое следствие
предикат
секвенційне числення
algebra
predicate
sequent calculus
алгебра
секвенциальное исчисление
: логіка
composition
equality
five-valued function
five-valued predicate
non-deterministic predicate
partial predicate
program system
semantics
sequent сalculus
алгебра;композиція
композиция
недетерминированный предикат
недетермінований предикат
программная система