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