|
|
РА382610
Афонін, Андрій Олександрович.
Повні методи пошуку виведення в системах логічного програмування [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Афонін Андрій Олександрович ; Київ. нац. ун-т ім. Т. Шевченка. - К., 2011. - 18 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
|