Наукові публікації університету

Kleene algebra of partial predicates


ID: 216964
Кількість показів: 52
дата змінення: 10.11.2019 19:04:16
Ким змінено (ім'я): (cyb10) Ірина Сімянчук
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  10
Рік видання:  2018
Звітний рік:  2018
Видання:  FORMALIZED MATHEMATICS
Випуск, частина:  26 (1)
Номери сторінок:  11-20
Галузь науки:  Інформатика
Автори,співробітники Університету:  Іванов Євген В’ячеславович / Нікітченко Микола Степанович
Автори зовнішні:  Artur Korniłowicz
Кафедра / Відділ:  Програмних систем і технологій / Теорії та технології програмування
№ теми:  16КФ015-02
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики / Факультет інформаційних технологій

Повернення до списку

Вгору