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

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


ID: 132061
Кількість показів: 57
дата змінення: 02.12.2014 02:26:26
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Вид роботи:  Наукова публікація
Тип роботи:  Матеріали конференції
Кількість сторінок:  2
Рік видання:  2012
Звітний рік:  2012
Видання:  KDS + MeL: Міжнародні конференції
Номери сторінок:  30-31
Галузь науки:  Математика
Автори,співробітники Університету:  Шкільняк Оксана Степанівна
Кафедра / Відділ:  Інтелектуальних програмних систем
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору