|
|
РА390370
Саркисян, Лусине Арамаисовна.
Об SLDNF-резолюции в логическом программировании с отрицанием [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Саркисян Лусине Арамаисовна ; Ереван. гос. ун-т. - Ереван, 2012. - 19 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Ереванский государственный университет
Видання зберігається у :
Основний фонд
|
|