Наукова періодика України | Наукові записки НаУКМА | ||
Болгар Ю. О. Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціоналтьними символами / Ю. О. Болгар, О. П. Жежерун // Наукові записки НаУКМА. Комп'ютерні науки. - 2014. - Т. 163. - С. 19-24. - Режим доступу: http://nbuv.gov.ua/UJRN/NaUKMAkn_2014_163_5 Цитованість авторів публікації: Бібліографічний опис для цитування: Болгар Ю. О. Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціоналтьними символами / Ю. О. Болгар, О. П. Жежерун // Наукові записки НаУКМА. Комп'ютерні науки. - 2014. - Т. 163. - С. 19-24. - Режим доступу: http://nbuv.gov.ua/UJRN/NaUKMAkn_2014_163_5.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |