«Բարդ որոշելի» բանաձևերի արտածումների բարդությունները ասույթային հաշվի համակարգերում : Ատենախոսութ. Ա.01.09-«Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտութ. ֆիզմաթ. գիտ. թեկն.
Ա. Գ. Աբաջյան.
- Երևան, 2012.
- 84 էջ.
Գիտ. ղեկ.՝ ֆ.-մ. գ. դ-ր, պրոֆ.,Ա. Ա.Չուբարյան ԵՊՀ
Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն