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