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

Секвенційні числення логік безкванторно-функціональних рівнів


ID: 196765
Кількість показів: 59
дата змінення: 01.11.2017 01:02:51
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  13
Рік видання:  2016
Звітний рік:  2017
Видання:  Штучний інтелект
Випуск, частина:  4
Номери сторінок:  50-62
Галузь науки:  Інформатика
Автори,співробітники Університету:  Шкільняк Степан Степанович
Автори,студенти та аспіранти Університету:  Волковицький Дмитро Борисович
Кафедра / Відділ:  Теорії та технології програмування
№ теми:  16КФ015-02
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору