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