Article
INVESTIGATION OF THE INFLUENCE OF AN INTERMEDIATE HINGE SUPPORT IN THE PROBLEM OF BENDING OF AN ELASTICALLY RESTRAINED ORTHOTROPIC BEAM
Publications
Article
ԷՔՍՏՐԵՄՈՒՄՆԵՐԻ ՈՒՍՈՒՑՄԱՆ ՈՐՈՇ ՄԵԹՈԴԱԿԱՆ ՀՆԱՐՆԵՐ
Article
Locally-balanced k-partitions of graphs
Article
Embeddings Determined by Universal Words in the Rank 2 Free Group
Article
ON PLANE ALGEBRAIC CURVES PASSING THROUGH n-INDEPENDENT NODES
Article
РАЗРАБОТКА ПРОГРАММЫ КОНФОРМАЦИОННОГО АНАЛИЗА И ВИЗУАЛИЗАЦИИ РЕЗУЛЬТАТОВ МОЛЕКУЛЯРНОГО ДОКИНГА С ИСПОЛЬЗОВАНИЕМ МЕТОДОВ КЛАСТЕРИЗАЦИИ
Article
On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic
Article
ՀՀ-ՈՒՄ ՏԵԽՆԻԿԱԿԱՆ ՄՇԱԿԱԲՈՒՅՍԵՐԻ ԶԱՐԳԱՑՄԱՆ ԵՎ ՏԱՐԱԾՔԱՅԻՆ ԿԱԶՄԱԿԵՐՊՄԱՆ ԱԳՐՈԱՇԽԱՐՀԱԳՐԱԿԱՆ ՆԱԽԱԴՐՅԱԼՆԵՐԻ ՀԵՏԱԶՈՏՄԱՆ ՀԻՄՆԱՀԱՐՑԵՐԸ
Article
ON THE NUMERICAL SOLUTION TO A NON-CLASSICAL PROBLEM OF BENDING AND STABILITY FOR AN ORTHOTROPIC BEAM OF VARIABLE THICKNESS
Article
РАЗБИЕНИЕ ПЛОСКОСТИ РЕГУЛЯРНОЙ СИСТЕМОЙ КРИВЫХ
Article
On the rate of convergence for approximation of an eigenvalue problem describing vibrations of axisymmetric revolution elastic shells
Article
О некоторых свойствах минимальных тавтологий классической и неклассических логик
Article
Условия минимума гладкой функции на границе квазидифференцируемого мниожества
Article
O НЕМОНОТОНОСТИ ГИЛЬБЕРТОВСКИХ СИСТЕМ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ КЛАССИЧЕСКИХ И НЕКЛАССИЧЕСКИХ ЛОГИК
Article
On three types of universal propositional proof systems for all versions of many-valued logics and some its properties.
Article
On monotonous and strongly monotonous properties of some propositional proof systems for different logics.
