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