Publications
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.
Article
Էլեկտրոնային պիտակներով թվային ծառայությունների ստեղծման հիմնական սկզբունքները
Article
On the Noether and the Cayley–Bacharach Theorems with PD Multiplicities
Article
On non-monotonous properties of some classical and nonclassical propositional proof systems
Article
On locally-balanced 2-partitions of bipartite graphs
