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

Семантичні властивості та секвенційні числення композиційно-номінативних логік. Праці міжнародної наукової конференції TAAPSD'2006. – Київ, 2006


ID: 46315
Кількість показів: 80
дата змінення: 25.11.2014 19:59:01
Ким змінено (ім'я): (soi) Оксана Стич
Вид роботи:  Наукова публікація
Тип роботи:  Тези
Кількість сторінок:  9
Рік видання:  2006
Звітний рік:  2006
Видання:  Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
Автори,співробітники Університету:  Шкільняк Степан Степанович
Кафедра / Відділ:  Теорії та технології програмування
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору