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

Числення секвенційного типу для перевірки виконуваності в логіках квазіарних предикатів


ID: 168304
Кількість показів: 49
дата змінення: 18.09.2016 01:58:45
Ким змінено (ім'я): (cyb9) Людмила Сільвейструк
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  9
Рік видання:  2015
Звітний рік:  2015
Видання:  Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
Том:  1
Випуск, частина:  15
Номери сторінок:  30-38
Галузь науки:  Інформатика
Автори,співробітники Університету:  Нікітченко Микола Степанович / Шкільняк Степан Степанович
Кафедра / Відділ:  НДС Проблем програмування / Теорії та технології програмування
№ теми: 
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору