TY  - BOOK
AU  - Саркисян,Лусине Арамаисовна
TI  - Об SLDNF-резолюции в логическом програмировании с отрицанием: Автореф. ... канд. физ.-мат. наук по спец. 01.01.09- Математическая кибернетика и математическая логика 
PY  - 2012///
CY  - Ереван
KW  - Математическая кибернетика и математическая логика
KW  - Thesis
N1  - ЕГУ; Науч. рук.: д.ф.м.н. С.А.Нагиян
ER  -