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

Formalization of the Nominative Algorithmic Algebra in Mizar


ID: 214796
Кількість показів: 80
дата змінення: 03.12.2019 13:09:34
Ким змінено (ім'я): (bilan) Тетяна Білан
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  11
Рік видання:  2018
Звітний рік:  2018
Видання:  Advances in Intelligent Systems and Computing
Випуск, частина:  656
Номери сторінок:  176-186
Галузь науки:  Інформатика
Автори,співробітники Університету:  Нікітченко Микола Степанович / Криволап Андрій Володимирович / Іванов Євген В’ячеславович
Кількість недоданих авторів:  1
Кафедра / Відділ:  Програмних систем і технологій / НДЛ Високопродуктивних систем обробки інформації / Теорії та технології програмування
№ теми:   / 16КФ015-02
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору