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

Система автоматизації доведення теорем теорії метаноміна-тивних даних


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

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

Вгору