Առանց տիպերի ֆունկցիոնալ ծրագրերի ձևափոխությունների և նրանց պրոցեդուրային սեմանտիկաների մասին

Հայցորդ
Գիտական ղեկավար/Խորհրդատու

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

Պաշտպանության ամսաթիվ
Ավարտված
✔

2011

Հաստատված