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

Extending the SMT-Lib Standard with Theory of Nominative


ID: 236947
Кількість показів: 25
дата змінення: 10.11.2019 21:13:05
Ким змінено (ім'я): (cyb10) Ірина Сімянчук
Вид роботи:  Наукова публікація
Тип роботи:  Праці конференції
Кількість сторінок:  12
Рік видання:  2019
Звітний рік:  2019
Видання:  ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
Том:  2
Випуск, частина:  15
Номери сторінок:  522-533
Галузь науки:  Інформатика
Автори,співробітники Університету:  Омельчук Людмила Леонідівна / Шишацька Олена Володимирівна
Кафедра / Відділ:  Теорії та технології програмування
№ теми:  16КФ015-02
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору