Անվանում:

Investigations of logical systems and their applications to automated translation algorithms and electronic circuits testing

Տեսակ:

Grant

Ժամանակահատված:

2013-2015

Այլ:

Thematic grant ; STATE-FUNDED PROJECTS