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

Program-Oriented Logics of Renominative Level with Extended Renomination and Equality


ID: 245211
Кількість показів: 60
дата змінення: 03.11.2020 17:26:56
Ким змінено (ім'я): (cyb10) Ірина Сімянчук
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  21
Рік видання:  2020
Звітний рік:  2020
Видання:  Communications in Computer and Information Science [CCIS]
Том:  1175
Номери сторінок:  68-88
Галузь науки:  Інформатика
Автори,співробітники Університету:  Нікітченко Микола Степанович / Шкільняк Степан Степанович / Шкільняк Оксана Степанівна
Кафедра / Відділ:  Інтелектуальних програмних систем / Теорії та технології програмування
№ теми:  16КФ015-01 / 16КФ015-02 / 19БФ015-04
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору