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

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


ID: 183189
Кількість показів: 54
дата змінення: 15.11.2016 15:26:38
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  6
Рік видання:  2016
Звітний рік:  2016
Видання:  Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
Том:  2
Номери сторінок:  155-160
Галузь науки:  Інформатика
Автори,співробітники Університету:  Шкільняк Степан Степанович / 
Кафедра / Відділ:  Теоретичної кібернетики / Теорії та технології програмування
№ теми:   / 16КФ015-02
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору