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

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


ID: 150937
Кількість показів: 53
дата змінення: 14.10.2015 16:28:36
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Вид роботи:  Наукова публікація
Тип роботи:  Тези
Кількість сторінок:  1
Рік видання:  2015
Звітний рік:  2015
Видання:  Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
Том:  17
Номери сторінок:  171
Галузь науки:  Інформатика
Автори,співробітники Університету:  Нікітченко Микола Степанович / Шкільняк Оксана Степанівна / Шкільняк Степан Степанович
Кафедра / Відділ:  Інтелектуальних програмних систем / Теорії та технології програмування
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору