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