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

Першопорядкові логіки із квазіарними та n-арними предикатами


ID: 194846
Кількість показів: 71
дата змінення: 17.11.2017 12:19:37
Ким змінено (ім'я): (cyb9) Людмила Сільвейструк
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  7
Рік видання:  2016
Звітний рік:  2017
Видання:  Наукові записки НаУКМА. Комп’ютерні науки
Том:  190
Номери сторінок:  16-22
Галузь науки:  Інформатика
Автори,співробітники Університету:  Нікітченко Микола Степанович / Шкільняк Степан Степанович
Кафедра / Відділ:  НДЛ Високопродуктивних систем обробки інформації / Теорії та технології програмування
№ теми:   / 16КФ015-02
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору