Conference On some universal proof system for all versions of many-valued logics Anahit Chubaryan Artur Khamisyan
Conference On the relations between the proof complexity measures of strongly equal k-tautologies in some proof systems Anahit Chubaryan Garik Petrosyan
Conference Ինֆորմացիոն տեխնոլոգիաների կիրառումը բնագիտական առարկաների դասավանդման համար Սարգսյան Ս.Գ. Հովակիմյան Ա.Ս. Իսպիրյան Ն.Հ. Դարբինյան Կ.Ս.
Conference On the proof complexity in two universal proof system for all versions of many-valued logics ANAHIT CHUBARYAN ARTUR KHAMISYAN
Conference Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics ANAHIT CHUBARYAN GARIK PETROSYAN SERGEY SAYADYAN
Conference On monotonous and strong monotonous properties of some propositional proof systems for two valued and finite-many-valued logics ANAHIT CHUBARYAN SERGEY SAYADYAN
Conference On three types of universal propositional proof systems for all versions of many-valued logics and some properties of them ANAHIT CHUBARYAN HAKOB NALBANDYAN
Conference Распределение учебной нагрузки кафедры с использованием методов нечеткой логики А.С.Овакимян И.В. Ахумян К.В.Отарян
Conference Նեյրոնային ցանցերի տոպոլոգիայի օպտիմալացում գենետիկ ալգորիթմի միջոցով Ա.Ս.Հովակիմյան Ս.Գ.Սարգսյան Չ.Մովսիսյան