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

Completeness Theorems for Program-oriented Algebra-based Logics of Partial Quasiary Predicates


ID: 132081
Кількість показів: 78
дата змінення: 02.12.2014 02:46:29
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Вид роботи:  Наукова публікація
Тип роботи:  Праці конференції
Кількість сторінок:  1
Рік видання:  2013
Звітний рік:  2013
Видання:  Handbook of the World Congress and School on Universal Logic
Номери сторінок:  227
Галузь науки:  Математика
Автори,співробітники Університету:  Нікітченко Микола Степанович / Шкільняк Степан Степанович
Кафедра / Відділ:  Теорії та технології програмування
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору