Об SLDNF-резолюции в логическом программировании с отрицанием : Дис. ... канд. физ.-мат. наук по спец.: 01.01.09- Математическая кибернетика и математическая логика /
Л.А. Саркисян.
- Ереван, 2012.
- 82 с.
Науч. рук.: д-р физ.-мат. наук С.А. Нагиян ; Тема дис. утв. в Ерев. гос. ун-те