Публикации
Статья
ON PLANE ALGEBRAIC CURVES PASSING THROUGH n-INDEPENDENT NODES
Статья
РАЗРАБОТКА ПРОГРАММЫ КОНФОРМАЦИОННОГО АНАЛИЗА И ВИЗУАЛИЗАЦИИ РЕЗУЛЬТАТОВ МОЛЕКУЛЯРНОГО ДОКИНГА С ИСПОЛЬЗОВАНИЕМ МЕТОДОВ КЛАСТЕРИЗАЦИИ
Статья
On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic
Статья
ՀՀ-ՈՒՄ ՏԵԽՆԻԿԱԿԱՆ ՄՇԱԿԱԲՈՒՅՍԵՐԻ ԶԱՐԳԱՑՄԱՆ ԵՎ ՏԱՐԱԾՔԱՅԻՆ ԿԱԶՄԱԿԵՐՊՄԱՆ ԱԳՐՈԱՇԽԱՐՀԱԳՐԱԿԱՆ ՆԱԽԱԴՐՅԱԼՆԵՐԻ ՀԵՏԱԶՈՏՄԱՆ ՀԻՄՆԱՀԱՐՑԵՐԸ
Статья
ON THE NUMERICAL SOLUTION TO A NON-CLASSICAL PROBLEM OF BENDING AND STABILITY FOR AN ORTHOTROPIC BEAM OF VARIABLE THICKNESS
Статья
РАЗБИЕНИЕ ПЛОСКОСТИ РЕГУЛЯРНОЙ СИСТЕМОЙ КРИВЫХ
Статья
On the rate of convergence for approximation of an eigenvalue problem describing vibrations of axisymmetric revolution elastic shells
Статья
О некоторых свойствах минимальных тавтологий классической и неклассических логик
Статья
Условия минимума гладкой функции на границе квазидифференцируемого мниожества
Статья
O НЕМОНОТОНОСТИ ГИЛЬБЕРТОВСКИХ СИСТЕМ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ КЛАССИЧЕСКИХ И НЕКЛАССИЧЕСКИХ ЛОГИК
Статья
On three types of universal propositional proof systems for all versions of many-valued logics and some its properties.
Статья
On monotonous and strongly monotonous properties of some propositional proof systems for different logics.
Статья
Էլեկտրոնային պիտակներով թվային ծառայությունների ստեղծման հիմնական սկզբունքները
Статья
On the Noether and the Cayley–Bacharach Theorems with PD Multiplicities
Статья
On non-monotonous properties of some classical and nonclassical propositional proof systems
Статья
On locally-balanced 2-partitions of bipartite graphs
