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

Задача розв'язності формул в теорії номінальних даних


ID: 240245
Кількість показів: 24
дата змінення: 26.11.2019 15:02:13
Ким змінено (ім'я): (cyb10) Ірина Сімянчук
Вид роботи:  Наукова публікація
Тип роботи:  Тези
Кількість сторінок:  2
Рік видання:  2019
Звітний рік:  2019
Видання:  Логіка та її застосування (UCLA): Українська наукова конференція
Випуск, частина:  1
Номери сторінок:  133-134
Галузь науки:  Інформатика
Автори,співробітники Університету:  Омельчук Людмила Леонідівна / Шишацька Олена Володимирівна
Кафедра / Відділ:  Теорії та технології програмування
№ теми:  16КФ015-02
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору