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

Bідношення логічного наслідку для множин формул в композиційно-номінативних логіках


ID: 127989
Кількість показів: 62
дата змінення: 02.12.2014 19:46:46
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  5
Рік видання:  2011
Звітний рік:  2011
Видання:  Наукові записки НаУКМА. Комп’ютерні науки
Том:  125
Номери сторінок:  22-26
Галузь науки:  Математика
Автори,співробітники Університету:  Шкільняк Степан Степанович
Кафедра / Відділ:  Теорії та технології програмування
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору