Саркисян, Лусине Арамаисовна <br/><br/>
Об SLDNF- резолюции в логическом программировании с отрицанием :  автореф. ... канд. физ.-мат. наук по спец. : 01.01.09 - ''Математическая кибернетика и математическая логика '' / 
 SLDNF -ռեզոլյուցիայի մասին ժխտումով տրամաբանական ծրագրավորման մեջ ։  Ա.01.09 -«Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսության 
Саркисян Лусине Арамаисовна. 
 - Ереван,  2012. 
 - 19 с. ;  21 см. 
<br/><br/> На правах рукописи 
<br/><br/>Науч. рук. :  док. физ. - мат. наук С. А. Нигиян ; Официальные оппоненты: док. физ. - мат. наук Ю. М. Мовсисян, канд. физ. - мат. наук Л. О. Хачоян : 
<br/><br/>Библиогр. : с. 15 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Физико-математические науки--Математика--Математическая кибернетика
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Սեղմագրեր