Поиск инвариантов для программ с булевыми массивами : Автореферат ... канд. физико-математических наук по спец. 01.01.09 - "Математическая кибернетика и математическая логика" /
Костанян, Армен Грачевич
Поиск инвариантов для программ с булевыми массивами : Автореферат ... канд. физико-математических наук по спец. 01.01.09 - "Математическая кибернетика и математическая логика" / Ինվարիանտների որոնում բուլյան զանգվածներով ծրագրերի համար : Սեղմագիր՝ Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման / А.Г. Костанян ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 1996. - 17 с. ։ 21 см.
Научный руководители: д.ф.-м.н. А.А. Летичевский, д.т.н. Ю.Г. Шукурян ; Официальные оппоненты: д.ф.-м.н. И.Д. Заславский, к.ф.-м.н. Р.Н. Тоноян ; Ведущая организация: Ерерванский научно-исследовательский институт математических машин:
Бибилиогр. в конце кн.
Физико-математические науки
Математическая кибернетика и математическая логика
Սեղմագրեր
Поиск инвариантов для программ с булевыми массивами : Автореферат ... канд. физико-математических наук по спец. 01.01.09 - "Математическая кибернетика и математическая логика" / Ինվարիանտների որոնում բուլյան զանգվածներով ծրագրերի համար : Սեղմագիր՝ Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման / А.Г. Костанян ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 1996. - 17 с. ։ 21 см.
Научный руководители: д.ф.-м.н. А.А. Летичевский, д.т.н. Ю.Г. Шукурян ; Официальные оппоненты: д.ф.-м.н. И.Д. Заславский, к.ф.-м.н. Р.Н. Тоноян ; Ведущая организация: Ерерванский научно-исследовательский институт математических машин:
Бибилиогр. в конце кн.
Физико-математические науки
Математическая кибернетика и математическая логика
Սեղմագրեր