Об SLDNF- резолюции в логическом программировании с отрицанием : автореф. ... канд. физ.-мат. наук по спец. : 01.01.09 - ''Математическая кибернетика и математическая логика '' / Саркисян Лусине Арамаисовна.
Նյութի տեսակ։ ՏեքստԼեզու: Ռուսերեն Հրատարակման մանրամասներ։ Ереван, 2012.Նկարագրություն։ 19 с. ; 21 смԱյլ վերնագիր։- SLDNF -ռեզոլյուցիայի մասին ժխտումով տրամաբանական ծրագրավորման մեջ ։ Ա.01.09 -«Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսության [Զուգահեռ վերնագիր]
Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
---|---|---|---|---|---|---|---|---|
Dissertation, Thesis | National Library of Armenia | Անձեռնմխելի հավաքածու | ԱԳՀ / 14500 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | Չի սպասարկվում | NL2046143 | ||
Dissertation, Thesis | National Library of Armenia | Անձեռնմխելի հավաքածու | ԱԳՀ / 14499 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | Չի սպասարկվում | NL2046144 |
На правах рукописи
Науч. рук. : док. физ. - мат. наук С. А. Нигиян ; Официальные оппоненты: док. физ. - мат. наук Ю. М. Мовсисян, канд. физ. - мат. наук Л. О. Хачоян : Ереванский государственный университет: 22-ого мая 2012 г.
Библиогр. : с. 15
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։