Նորմալ դիտում MARC դիտում ISBD Դիտում

Алексанян, Сона Рафиковна

Исследования сложностей выводов в формальных системах : Дис. ... канд. физ. -мат. наук по спец.: 01.01.09- "Математическая кибернетика и математическая логика" / С.Р. Алексанян. - Ереван, 2009. - 95 с.

Науч. рук. д-р физ.-мат. наук А.А. Чубарян ; Тема дис. утв. в Ерев. гос. ун-те

Список лит. с 91-95

Subjects--Topical Terms:
Математическая кибернетика
Математическая логика

Index Terms--Genre/Form:
Dissertation