Об SLDNF-резолюции в логическом программировании с отрицанием / SLDNF-ռեզոլյուցիայի մասին ժխտումով տրամաբանական ծրագրավորման մեջ / On SLDNF-resolution in logic programming with negation
Об SLDNF-резолюции в логическом программировании с отрицанием / SLDNF-ռեզոլյուցիայի մասին ժխտումով տրամաբանական ծրագրավորման մեջ / On SLDNF-resolution in logic programming with negation
No Thumbnail Available
Date
2012
Authors
Սարգսյան, Լուսինե Արամայիսի / Sargsyan Lusine
Journal Title
Journal ISSN
Volume Title
Publisher
Երևանի պետական համալսարան
Abstract
Диссертационная работа посвящена проблемам логического программирования / Ատենախոսությունը նվիրված է տրամաբանական ծրագրավորման պրոբլեմներին / The thesis is devoted to problems of logic programming
Description
Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական
տրամաբանություն» մասնագիտությամբ
ֆիզիկամաթեմատիկական գիտությունների թեկնածուի
գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2012 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ս. Ա. Նիգիյան ; Պաշտոնական ընդդիմախոսներ՝ Յ. Մ. Մովսիսյան., L. 0. Խաչոյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման
պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 19 էջ։
Keywords
Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics