Показ
1 - 3
результатів із
3
для пошуку '
Shkilniak, О.S.
'
Перейти до змісту
VuFind
Ваш обліковий запис
Вихід
Логін
Мова
English
Deutsch
Українська
Всі поля
Назва
Назва журналу
Автор
Предмет
Опис
Тег
Знайти
Розширений
Автор
Shkilniak, О.S.
Показ
1 - 3
результатів із
3
для пошуку '
Shkilniak, О.S.
'
, час виконання запиту: 0.06сек.
Уточнити результати
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Вибрати результат під номером 1
1
Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю...
за авторством
Shkilniak, О.S.
,
Shkilniak, S.S.
Опубліковано 2023
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 2
2
Чисті першопорядкові логіки квазіарних предикатів
за авторством
Nikitchenko, M.S.
,
Shkilniak, О.S.
,
Shkilniak, S.S.
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 3
3
Логіки загальних недетермінованих предикатів: cемантичні аспекти
за авторством
Nikitchenko, M.S.
,
Shkilniak, О.S.
,
Shkilniak, S.S.
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Інструменти для пошуку:
Отримати RSS-стрічку
–
Відправити пошук е-поштою
Пов'язані теми
logic
logical consequence
логіка
логічний наслідок
UDC 004.42:510.69
sequent calculus
УДК 004.42:510.69
логика
логическое следствие
секвенційне числення
UDC 510.64
algebra
completeness
composition
equality
non-deterministic predicate
partial predicate
predicate
semantics
soundness
УДК 510.64
алгебра
алгебра;композиція
композиция
коректність
недетерминированный предикат
недетермінований предикат
повнота
предикат
рівність