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

SMT-LIB Theory of Nominative Data


ID: 245217
Кількість показів: 10
дата змінення: 22.04.2020 15:53:59
Ким змінено (ім'я): (cyb10) Ірина Сімянчук
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  22
Рік видання:  2020
Звітний рік:  2020
Видання:  Communications in Computer and Information Science
Том:  1175
Номери сторінок:  89-110
Галузь науки:  Інформатика
Автори,співробітники Університету:  Омельчук Людмила Леонідівна / Шишацька Олена Володимирівна
Кафедра / Відділ:  Теорії та технології програмування
№ теми:  16КФ015-02
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору