000 01976nam a2200217 a 4500
003 AM-YeNLA
005 20220530162321.0
008 210212s2011 ai ||||fra||||001|||arm||
040 _aAM-YeNLA
_barm
041 0 _aarm
100 1 _aՂազարյան, Գոռ Արամի
_9376106
245 1 0 _aԱռանց տիպերի ֆունկցիոնալ ծրագրերի ձևափոխությունների և նրանց պրոցեդուրային սեմանտիկաների մասին :
_bԱ.01.09- «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսության սեղմագիր /
_cԳ.Ա.Ղազարյան ; Գիտ. ղեկ.՝ Ս.Ա. Նիգիյան ; Պաշտոնական ընդդիմախոսներ՝ Յու.Մ. Մովսիսյան, Ս.Ա. Ավետիսյան ; Երևանի պետական համալսարան.
246 1 1 _aО преобразованиях бестиповых функциональных программ и их процедурных семантиках
_bАвтореферат
260 _aԵրևան,
_c2011.
300 _a19 էջ ;
_c21 սմ.
500 _aԱտենախոսության թեման հաստատվել է Հայ-Ռուսական (Սլավոնական) համալսարանում:
502 _aԳիտ. ղեկ.՝ Ս.Ա. Նիգիյան ; Պաշտոնական ընդդիմախոսներ՝ Յու.Մ. Մովսիսյան, Ս.Ա. Ավետիսյան:
_bՖիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսության սեղմագիր:
_cԵրևանի պետական համալսարան:
_d2011թ. մայիսի 20:
655 7 _aՍեղմագրեր
_975751
942 _2udc
_cTH
998 _cNLA_Varduhi_4
999 _c1736057
_d1736035