Саркисян, Лусине Арамаисовна <br/><br/>
Об SLDNF-резолюции в логическом программировании с отрицанием :  Дис. ... канд. физ.-мат. наук по спец.: 01.01.09- Математическая кибернетика и математическая логика / 
Л.А. Саркисян. 
 - Ереван,  2012. 
 -  82 с. 
<br/><br/>Науч. рук.: д-р физ.-мат. наук С.А. Нагиян ; Тема дис. утв. в Ерев. гос. ун-те 
<br/><br/>Список лит. с 78-82 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математическая кибернетика<br/>Математическая логика
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Dissertation