Ոչ դասական տրամաբանության ֆորմալ համակարգեր և թեորեմների մեքենայական արտածելիություն մեքենայական ուսուցման մեթոդների կիրառությամբ

Գիտական ղեկավար/Խորհրդատու
Հայցվող գիտական աստիճան
Գիտությունների թեկնածու
Մասնագիտություն
Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն
Ա.01.09
Թեման հաստատած կազմակերպություն
Պաշտպանության ամսաթիվ
Կարգավիճակ
Ընթացքի մեջ
Ավարտված
2021
Ատենախոսության սեղմագիրը
Ա.Բաղդասարյան (443.68 KB)