Об SLDNF-резолюции в логическом программировании с отрицанием / SLDNF-ռեզոլյուցիայի մասին ժխտումով տրամաբանական ծրագրավորման մեջ / On SLDNF-resolution in logic programming with negation
Об SLDNF-резолюции в логическом программировании с отрицанием / SLDNF-ռեզոլյուցիայի մասին ժխտումով տրամաբանական ծրագրավորման մեջ / On SLDNF-resolution in logic programming with negation
| dc.contributor.author | Սարգսյան, Լուսինե Արամայիսի / Sargsyan Lusine | |
| dc.date.accessioned | 2023-03-03T10:35:17Z | |
| dc.date.available | 2023-03-03T10:35:17Z | |
| dc.date.issued | 2012 | |
| dc.description | Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2012 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ս. Ա. Նիգիյան ; Պաշտոնական ընդդիմախոսներ՝ Յ. Մ. Մովսիսյան., L. 0. Խաչոյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 19 էջ։ | |
| dc.description.abstract | Диссертационная работа посвящена проблемам логического программирования / Ատենախոսությունը նվիրված է տրամաբանական ծրագրավորման պրոբլեմներին / The thesis is devoted to problems of logic programming | |
| dc.identifier.uri | http://dspace.nla.am/handle/123456789/1919 | |
| dc.language.iso | rus | |
| dc.pages | Սեղմագիր՝ 19 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | Երևանի պետական համալսարան | |
| dc.subject | Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics | |
| dc.title | Об SLDNF-резолюции в логическом программировании с отрицанием / SLDNF-ռեզոլյուցիայի մասին ժխտումով տրամաբանական ծրագրավորման մեջ / On SLDNF-resolution in logic programming with negation | |
| dc.type | Abstract | |
| eperson.lastname | KT |