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