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

Об автоматизации дедукции в среде естественного формального языка // Труды 3-ей Международной конференции "Новые информационные технологии в образовании для всех: система электронного образования", Киев, октябрь 2008


ID: 56826
Кількість показів: 48
дата змінення: 14.10.2014 09:56:56
Ким змінено (ім'я): (admin) Адміністратор НДЧ
Вид роботи:  Наукова публікація
Тип роботи:  Праці конференції
Кількість сторінок:  9
Рік видання:  2008
Звітний рік:  2008
Номери сторінок:  383.0000
Автори,співробітники Університету:  Анісімов Анатолій Васильович /  / Лялецький Олександр Вадимович / 
Кафедра / Відділ:  Теоретичної кібернетики
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору