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

Implementation of the Composition-nominative Approach to Program Formalization in Mizar


ID: 216967
Кількість показів: 87
дата змінення: 10.11.2019 18:59:17
Ким змінено (ім'я): (cyb10) Ірина Сімянчук
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  18
Рік видання:  2018
Звітний рік:  2018
Видання:  Computer Science Journal of Moldova
Випуск, частина:  26
Номери сторінок:  59-76
Галузь науки:  Інформатика
Автори,співробітники Університету:  Іванов Євген В’ячеславович / Криволап Андрій Володимирович / Нікітченко Микола Степанович
Автори зовнішні:  Artur Korniłowicz
Кафедра / Відділ:  Програмних систем і технологій / Теорії та технології програмування
№ теми:  16КФ015-02
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики / Факультет інформаційних технологій

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

Вгору