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