Исследование сложностей выводов в системах неклассических логик : Автореферат ... канд. физико-математических наук по спец. 01.01.09 - "Математическая кибернетика и математическая логика" /
Саядян, Сергей Мушегович
Исследование сложностей выводов в системах неклассических логик : Автореферат ... канд. физико-математических наук по спец. 01.01.09 - "Математическая кибернетика и математическая логика" / Ոչ դասական տրամաբանության համակարգերում արտածումների բարդության հետազոտում : Սեղմագիր՝ Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման / С.М. Саядян ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2007. - 19 с. ։ 21 см.
Научный руководитель: к.ф.-м.н. А.А. Чубарян ; Официальные оппоненты: д.ф.-м.н. И.Д. Заславский, к.ф.-м.н. М.А. Хачатрян ; Ведущая организация: Российско-Армянский (Славянский) государственный университет:
Библиогр. в конце кн.
Физико-математические науки
Математическая кибернетика и математическая логика
Սեղմագրեր
Исследование сложностей выводов в системах неклассических логик : Автореферат ... канд. физико-математических наук по спец. 01.01.09 - "Математическая кибернетика и математическая логика" / Ոչ դասական տրամաբանության համակարգերում արտածումների բարդության հետազոտում : Սեղմագիր՝ Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման / С.М. Саядян ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2007. - 19 с. ։ 21 см.
Научный руководитель: к.ф.-м.н. А.А. Чубарян ; Официальные оппоненты: д.ф.-м.н. И.Д. Заславский, к.ф.-м.н. М.А. Хачатрян ; Ведущая организация: Российско-Армянский (Славянский) государственный университет:
Библиогр. в конце кн.
Физико-математические науки
Математическая кибернетика и математическая логика
Սեղմագրեր