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

Completeness Theorems for Program-oriented Logics of Partial Quasiary Predicates


ID: 218860
Кількість показів: 72
дата змінення: 13.11.2018 19:01:43
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  49
Рік видання:  2017
Звітний рік:  2018
Видання:  Coleção CLE
Випуск, частина:  Vol.81 - Aftermath of the Logical Paradise
Номери сторінок:  203-251
Галузь науки:  Інформатика
Автори,співробітники Університету:  Нікітченко Микола Степанович / Шкільняк Степан Степанович
Кафедра / Відділ:  НДЛ Високопродуктивних систем обробки інформації / Теорії та технології програмування
№ теми:   / 16КФ015-02
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору