Աբաջյան, Աշոտ Գասպարի <br/><br/>
«Բարդ որոշելի» բանաձևերի արտածումների բարդությունները ասույթային հաշվի համակարգերում :  Սեղմագիր՝ Ա.01.09- «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսության / 
Ա.Գ. Աբաջյան ; Գիտ. ղեկ.՝ Ա.Ա. Չուբարյան ; Պաշտոնական ընդդիմախոսներ՝ Հ.Բ. Մարանջյան, Հ.Ռ. Բոլիբեկյան ; Երևանի պետական համալսարան. 
 - Երևան :  Ա. հ.,  2012. 
 - 20 էջ ;  20 սմ. 
<br/><br/> Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում: 
<br/><br/>Գիտ. ղեկ.՝ Ա.Ա. Չուբարյան ; Պաշտոնական ընդդիմախոսներ՝ Հ.Բ. Մարանջյան, Հ.Ռ. Բոլիբեկյան: 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Սեղմագրեր