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

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


ID: 190840
Кількість показів: 85
дата змінення: 29.10.2019 15:01:32
Ким змінено (ім'я): (bilan) Тетяна Білан
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  1
Рік видання:  2016
Звітний рік:  2017
Видання:  Наукові записки НаУКМА. Комп’ютерні науки
Том:  190
Випуск, частина:  1
Номери сторінок:  23-29
Галузь науки:  Інформатика
Автори,співробітники Університету:  Касьянюк Веда Станіславівна /  / Шкільняк Оксана Степанівна
Кафедра / Відділ:  Інтелектуальних програмних систем / НДС Теоретичної кібернетики / Теоретичної кібернетики
№ теми:   / 16КФ015-01 / 16КФ015-02
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору