Conference
On monotonous and strong monotonous properties of some propositional proof systems for two valued and finite-many-valued logics
Publications
Conference
On three types of universal propositional proof systems for all versions of many-valued logics and some properties of them
Conference
Распределение учебной нагрузки кафедры с использованием методов нечеткой логики
Conference
Նեյրոնային ցանցերի տոպոլոգիայի օպտիմալացում գենետիկ ալգորիթմի միջոցով
Conference
РАСПРОСТРАНЕНИЕ УПРУГО-СПИНОВЫХ ВОЛН В СОСТАВНОЙ ФЕРРОМАГНИТНОЙ СТРУКТУРЕ С ПОЛУБЕСКОНЕЧНОЙ ТРЕЩИНОЙ
Conference
Decomposing graphs into interval colorable subgraphs and no-wait multi-stage schedules
Conference
On non-monotonous properties of some propositional proof systems
Conference
Comparison of two propositional proof systems by lines and by sizes
Conference
Генетический алгоритм для построения ффективных сценариев обучения в системах электронного обучения
Conference
Использование методов Data Mining для построения нечетких экспертных систем
Conference
Вложения счетных групп, задаваемые универсальными словами в свободной группе
Conference
Ինֆորմատիկա և կիրառական մաթեմատիկա "ԻԿՄ 50"
Conference
Constructive embeddings of recursively presented groups using H-machines
Patent
Error Determination from Logs
Ematerial
Մաթեմատիկական ֆիզիկայի հավասարումներ
Ematerial
ԻՆԹԵԼ x86 ԱՍԵՄԲԼԵՐ (իրական ռեժիմ)
Ematerial
ՀԱՇՎԱՐԿԵԼԻՈՒԹՅԱՆ ԲԱՐԴՈՒԹՅԱՆ ՏԵՍՈՒԹՅԱՆ ՀԻՄՆԱԴՐՈՒՅԹՆԵՐ
Conference
Mathematical model of a non-classical problem of bending a beam of variable thickness with an additional condition
Conference
On continuous selections of set-valued mappings in optimization problems
Conference
Varieties generated by p-groups and Kp-series
