Показ
1 - 1
результатів із
1
Перейти до змісту
Логін
Мова
English
Deutsch
Українська
Харвестер відкритої науки НАН України
Всі поля
Назва
Назва журналу
Автор
Предмет
Опис
Тег
Повний текст
Знайти
Розширений
page_reload_on_deselect_hint
Видалити фільтри
applied_filters
Рекомендовані теми:
Remove filter
sequent сalculus
page_reload_on_deselect_hint
Видалити фільтри
Показати фільтри (1)
Рекомендовані теми:
Remove filter
sequent сalculus
Результати пошуку
Результати пошуку
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
: логіка
1
UDC 004.42:510.69
1
logic
1
logical consequence
1
partial predicate
1
sequent сalculus
УДК 004.42:510.69
1
логика
1
логічний наслідок
1
предикат
1
секвенційне числення
1
частичный предикат; логическое следствие; секвенциальное исчисление
1
Показ
1 - 1
результатів із
1
Уточнити результати
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Е-пошта
Експорт
Друк
Зберегти
Вибрати все на сторінці
Вибрати результат під номером 1
1
Propositional logics of partial predicates with composition of predicate complement
за авторством
Nikitchenko, M.S.
,
Shkilniak, O.S.
,
Shkilniak, S.S.
,
Mamedov, T.A.
Опубліковано в
PROBLEMS IN PROGRAMMING
(2019)
Отримати повний текст
Стаття
standalone_record_link
Додати у Вибране
Збережено в:
Е-пошта
Експорт
Друк
Зберегти
Вибрати все на сторінці
Інструменти для пошуку:
Отримати RSS-стрічку
Відправити пошук е-поштою
Зберегти пошук
Назад
Уточнити результати
page_reload_on_select_hint
Репозитарії
Problems in programming
1 результатів
1
Формат
Стаття
1 результатів
1
Автор
Mamedov, T.A.
1 результатів
1
Nikitchenko, M.S.
1 результатів
1
Shkilniak, O.S.
1 результатів
1
Shkilniak, S.S.
1 результатів
1
Мова
Ukrainian
1 результатів
1
Рік публікації
від:
до: