Алексанян, Сона Рафиковна <br/><br/>
Исследования сложностей выводов в формальных системах :  Автореферат ... канд. физико-математических наук по спец. 01.01.09 - "Математическая кибернетика и математическая логика" / 
 Ֆորմալ համակարգերում արտածումների բարդությունների հետազոտում :  Սեղմագիր՝ Ա.04.02 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման / 
С. Р. Алексанян ; Ереванский государственный университет. 
 - Ереван,  2009. 
 - 16 с. ։   21 см. 
<br/><br/>Научный руководитель: д.ф.-м.н. А.А. Чубарян ; Официальные оппоненты: д.ф.-м.н. Г.Б. Маранджян, к.ф.-м.н. О.Р. Болибекян ; Ведущая организация: Институт проблем информатики и автоматизации НАН РА : 
<br/><br/>Библиогр. в конце кн. 
<br/><br/><br/>Текст резюм. на арм. яз. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Физико-математические науки<br/>Математическая кибернетика