Показ
1 - 1
результатів із
1
Перейти до змісту
Логін
Мова
English
Deutsch
Українська
Харвестер відкритої науки НАН України
Всі поля
Назва
Назва журналу
Автор
Предмет
Опис
Тег
Full text
Знайти
Розширений
page_reload_on_deselect_hint
Видалити фільтри
applied_filters
Рекомендовані теми:
Remove filter
logical consequence sequent calculus
page_reload_on_deselect_hint
Видалити фільтри
Показати фільтри (1)
Рекомендовані теми:
Remove filter
logical consequence sequent calculus
Результати пошуку
Результати пошуку
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
UDC 004.42:510.69
1
logical consequence sequent calculus
modal logic
1
partial predicate
1
УДК 004.42:510.69
1
логическое следствие
1
логічний наслідок
1
модальна логіка
1
модальная логика
1
секвенциальное исчисление
1
секвенційне числення
1
частичный предикат
1
частковий предикат
1
Показ
1 - 1
результатів із
1
Уточнити результати
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Е-пошта
Експорт
Друк
bulk_save_button
select_all_on_page
Вибрати результат під номером 1
1
Composition nominative modal logics of partial non-monotone predicates and their calculi
за авторством
Shkilniak, O.S.
,
Kasianiuk, V.S.
,
Malutenko, L.M.
Опубліковано 2018
Отримати повний текст
Стаття
standalone_record_link
Додати у Вибране
Збережено в:
Е-пошта
Експорт
Друк
bulk_save_button
select_all_on_page
Інструменти для пошуку:
Отримати RSS-стрічку
Відправити пошук е-поштою
Зберегти пошук
Назад
Уточнити результати
page_reload_on_select_hint
Репозитарії
Problems in programming
1 результатів
1
Формат
Стаття
1 результатів
1
Автор
Kasianiuk, V.S.
1 результатів
1
Malutenko, L.M.
1 результатів
1
Shkilniak, O.S.
1 результатів
1
Мова
Ukrainian
1 результатів
1
Рік публікації
від:
до: