Результати пошуку

Рекомендовані теми у межах Вашого пошуку.
  • Показ 1 - 11 результатів із 11
Уточнити результати
  1. 1
    Зображення обкладинки

    Algebras of quasiary and of bi-quasiary relations за авторством Nikitchenko, M.S., Shkilniak, S.S.

    Опубліковано в PROBLEMS IN PROGRAMMING (2018)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

    Logical consequence relations in logics of quasiary predicates за авторством Shkilniak, O.S.

    Опубліковано в PROBLEMS IN PROGRAMMING (2018)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  3. 3
    Зображення обкладинки

    Pure first-order logics of quasiary predicates за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

    Опубліковано в PROBLEMS IN PROGRAMMING (2018)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  4. 4
    Зображення обкладинки

    Logical consequence relations in logics of monotone predicates and logics of antitone predicates за авторством Shkilniak, O.S.

    Опубліковано в PROBLEMS IN PROGRAMMING (2018)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  5. 5
    Зображення обкладинки

    Logics of general non-deterministic predicates: semantic aspects за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

    Опубліковано в PROBLEMS IN PROGRAMMING (2018)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  6. 6
    Зображення обкладинки

    Pure first-order quasiary logics with equality predicates за авторством Nikitchenko, M.S., Shkilniak, S.S.

    Опубліковано в PROBLEMS IN PROGRAMMING (2018)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  7. 7
    Зображення обкладинки

    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)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  8. 8
    Зображення обкладинки

    Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools за авторством Shkilniak, O.S.

    Опубліковано в PROBLEMS IN PROGRAMMING (2019)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  9. 9
    Зображення обкладинки

    Relations of logical consequence in logics of partial predicates with composition of predicate complement за авторством Shkilniak, O.S.

    Опубліковано в PROBLEMS IN PROGRAMMING (2019)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  10. 10
    Зображення обкладинки

    First-order composition-nominative logics with predicates of weak equality and of strong equality за авторством Shkilniak, S.S.

    Опубліковано в PROBLEMS IN PROGRAMMING (2019)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  11. 11
    Зображення обкладинки

    First-order logics with partial predicates for checking variable definedness за авторством Shkilniak, S.S.

    Опубліковано в PROBLEMS IN PROGRAMMING (2025)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: