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