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

Саркисян, Лусине Арамаисовна

Об SLDNF-резолюции в логическом программировании с отрицанием : Дис. ... канд. физ.-мат. наук по спец.: 01.01.09- Математическая кибернетика и математическая логика / Л.А. Саркисян. - Ереван, 2012. - 82 с.

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

Список лит. с 78-82

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

Index Terms--Genre/Form:
Dissertation