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

Система автоматизации дедукции (САД) как средство обработки формальных компьютерных заданий


ID: 48858
Кількість показів: 57
дата змінення: 14.10.2014 09:47:19
Ким змінено (ім'я): (admin) Адміністратор НДЧ
Вид роботи:  Наукова публікація
Тип роботи:  Тези
Кількість сторінок:  6
Рік видання:  2007
Звітний рік:  2007
Видання:  Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
Номери сторінок:  0.0000
Автори,співробітники Університету:  Анісімов Анатолій Васильович /  / Лялецький Олександр Вадимович / 
Кафедра / Відділ:  Теоретичної кібернетики
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору