Ֆորմալ հաշիվներ և աքսիոմատիկ համակարգեր ոչ դասական տրամաբանություններում

Научный руководитель/Консультант
Искомая ученая степень
Кандидат наук
Специальность
Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն
Ա.01.09
Дата защиты
Завершено

2002

Подтверждено