Հրապարակումներ
Հոդված
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
