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