TY  - BOOK
AU  - Чубарян,Анаит Арташесовна
ED  - Институт проблем информатики и автоматизации НАН РА
TI  - Исследование сложностных характеристик выводов в логических и логико-математических системах: Автореф. дис. ... д-р физ.-мат. наук  01.01.09 Математическая кибернетика и математическая логика 
PY  - 2007///
CY  - Ереван
KW  - Математическая кибернетика и математическая логика
KW  - Thesis
N1  - ИПИиА НАН РА
ER  -