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