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