TY - BOOK AU - Մարտիրոսյան,Գևորգ Արթուրի ED - Երևանի Պետական Համալսարան TI - Ծրագրավորման ֆունկցիոնալ լեզուների ներդրված հաստատունների մասին: Ատենախոսություն ֆիզ.մաթ.գիտ.թեկն. ...ըստ հետևյալ մասնագիտ.:Ե.13.04-Հաշվողական մեքենաների,համալիրների,համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում PY - 2013/// CY - Երևան KW - Ֆունկցիոնալ ծրագրեր և դրանց սեմանտիկա KW - S-ֆունկցիաներ KW - Ծրագրավորելի S-ֆունկցիաներ KW - Դիսերտացիա N1 - Գիտ.ղեկ.՝ ֆ.մ.գ.թ. Ս.Ա.Նիգիյան; Օգտ.գրակ.էջ՝118-120 ER -