TY  - BOOK
AU  - Խաչատրյան,Սուրեն Արտաշեսի
ED  - Երևանի Պետական Համալսարան
TI  - Տրամաբանական ծրագրերի օպտիմիզացման մասին: Ատենախոսություն  ֆիզ.մաթ.գիտ.թեկն. ...ըստ հետևյալ մասնագիտ.:Ե.13.04-Հաշվողական մեքենաների,համալիրների,համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում
PY  - 2014///
CY  - Երևան
KW  - Առաջին կարգի պրեդիկատներ
KW  - Սեմանտիկայի պահպանում
KW  - Կանոնական մոնադիկ ծրագրեր
KW  - Դիսերտացիա
N1  - Գիտ.ղեկ.՝ ֆ.մ.գ.դ. Ս.Ա.Նիգիյան; Օգտ.գրակ.էջ՝ 77-80
ER  -