Conference
О необходимых условиях экстремума для негладких функций
2017
90-92
Publications
Conference
Product varieties of groups and varieties generated by wreath products
2017
1-4
Conference
Application of Kalmar’s proof of deducibility in two valued propositional logic for many valued logic
2017
97
Conference
On proof complexities for some classes of tautologies in Frege systems
2017
99
Conference
Propositional sequent systems of two valued classical logic and many valued logics are no monotonous17-08-14.html. .
2017
98
Conference
Ինֆորմացիոն տեխնոլոգիաների կիրառումը բնագիտական առարկաների դասավանդման համար
2017
296-299
Textbook
Մաթեմատիկական ֆիզիկայի հավասարումներ
2017
132
Study manual
Հաշվարկելիության բարդության տեսության հիմնադրույթներըր
2017
62
Monograph
On some systems for two versions of many-valued logics
2017
73
Article
TRANSMISSION OF NARROW SOUND BEAMS IN NONLINEAR ENVIRONMENT
Article
Interval cyclic edge-colorings of graphs
Article
Interval edge-colorings of complete graphs
Article
The relations between the proof complexities of strongly equal classical tautologies in Frege systems
Article
Задача термоупругости ортотропной пластинки-полосы переменной толщины при наличии упруго защемленной опоры
Article
Задача изгиба упруго защемленной ортотропной круглой пластинки, опирающейся на упругом основании
Article
О некоторых системах доказательств для многозначных логик и сложностях выводов в них
Article
Новый метод доказательства полноты пропозициональной системы трехзначной логики Лукасевича и его приложения
