Показ
1 - 1
результатів із
1
для пошуку '
'
Перейти до змісту
VuFind
Ваш обліковий запис
Вихід
Логін
Мова
English
Deutsch
Українська
Всі поля
Назва
Назва журналу
Автор
Предмет
Опис
Тег
Знайти
Розширений
Видалити фільтри
Рекомендовані теми:
modal logic
Видалити фільтри
Показати фільтри (1)
Рекомендовані теми:
modal logic
Результати пошуку
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
UDC 004.42:510.69
1
logical consequence sequent calculus
1
modal logic
partial predicate
1
УДК 004.42:510.69
1
логическое следствие
1
логічний наслідок
1
модальна логіка
1
модальная логика
1
секвенциальное исчисление
1
секвенційне числення
1
частичный предикат
1
частковий предикат
1
Показ
1 - 1
результатів із
1
для пошуку '
'
, час виконання запиту: 0.02сек.
Уточнити результати
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Вибрати результат під номером 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-стрічку
–
Відправити пошук е-поштою
–
Зберегти пошук
–
Розклад для Розсилок: Не застосовувати
Назад
Уточнити результати
Репозитарії
Problems in programming
1
Формат
Стаття
1
Автор
Kasianiuk, V.S.
1
Malutenko, L.M.
1
Shkilniak, O.S.
1
Мова
Ukrainian
1
Рік публікації
від:
до: