Ֆորմալ համակարգերում արտածումների բարդությունների հետազոտում

Գիտական ղեկավար/Խորհրդատու
Հայցվող գիտական աստիճան
Գիտությունների թեկնածու
Մասնագիտություն
Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն
Ա.01.09
Թեման հաստատած կազմակերպություն
Պաշտպանության ամսաթիվ
Ավարտված
✔

2009

Հաստատված