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

A Formal Proof of Properties of a Presentation System using Isabelle


ID: 199396
Кількість показів: 102
дата змінення: 05.12.2017 02:58:42
Ким змінено (ім'я): (cyb9) Людмила Сільвейструк
Вид роботи:  Наукова публікація
Тип роботи:  Праці конференції
Рік видання:  2017
Звітний рік:  2017
Номери сторінок:  1155-1160
Галузь науки:  Інформатика
Кількість недоданих авторів:  1
Кафедра / Відділ:  НДС Проблем програмування
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору