TY - BOOK AU - Грачян,Гурген Гагикович TI - Об основной семантике функциональных программ: Дис. ... канд. физ.-мат. наук по спец.: 01.01.09- "Математическая кибернетика и математическая логика" PY - 2009/// CY - Ереван KW - Математическая логика KW - Математическая кибернетика KW - Dissertation N1 - Науч. рук. д-р физ.-мат. наук С.А. Нигиян ; Тема дис. утв. в Ерев. гос. ун-те; Список лит. с 89-93 ER -