Показ
1 - 1
результатів із
1
для пошуку '
Kasianiuk, V.S.
'
Перейти до змісту
VuFind
Ваш обліковий запис
Вихід
Логін
Мова
English
Deutsch
Українська
Всі поля
Назва
Назва журналу
Автор
Предмет
Опис
Тег
Знайти
Розширений
Автор
Kasianiuk, V.S.
Показ
1 - 1
результатів із
1
для пошуку '
Kasianiuk, V.S.
'
, час виконання запиту: 0.01сек.
Уточнити результати
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Вибрати результат під номером 1
1
Composition nominative modal logics of partial non-monotone predicates and their calculi
за авторством
Shkilniak, O.S.
,
Kasianiuk, V.S.
,
Malutenko, L.M.
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Інструменти для пошуку:
Отримати RSS-стрічку
–
Відправити пошук е-поштою
Пов'язані теми
UDC 004.42:510.69
logical consequence sequent calculus
modal logic
partial predicate
УДК 004.42:510.69
логическое следствие
логічний наслідок
модальна логіка
модальная логика
секвенциальное исчисление
секвенційне числення
частичный предикат
частковий предикат