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