Логическое моделирование процедурных языков программирования и недетерминированных конечных автоматов : Автореферат ... канд. физико-математических наук по спец. 01.01.09 - "Математическая кибернетика и математическая логика" /
Ծրագրավորման պրոցեդուրային լեզուների և ոչ դետերմինացված վերջավոր ավտոմատների տրամաբանական մոդելավորում : Սեղմագիր՝ Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման /
А.В. Нигиян ; Ереванский государственный университет.
- Ереван, 2009.
- 15 с. ։ 21 см.
Научный руководитель: д.ф.-м.н. С.А. Нигиян ; Официальные оппоненты: д.ф.-м.н. Г.Б. Мараранджян, к.ф.-м.н. А.Ш. Малхасян ; Ведущая организация: Институт проблем информатики и автоматизации НАН РА:
Библиогр. в конце кн.
Физико-математические науки Математическая кибернетика и математическая логика