Исследование сложностных характеристик выводов в логических и логико-математических системах : Автореф. дис. ... д-р физ.-мат. наук 01.01.09 Математическая кибернетика и математическая логика /
Տրամաբանական և տրամաբանամաթեմատիկական համակարգերի արտածումների բարդության բնութագրիչների հետազոտում
А.А. Чубарян.
- Ереван, 2007.
- 30 с. ; 20 см.
- 01.01.09 (NLA) .
ИПИиА НАН РА
Математическая кибернетика и математическая логика