Publications
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
Article
ON THE LOCALIZATION OF SHEAR VIBRATIONS IN A COMPOSITE ELASTIC SEMI-INFINITE FLAT WAVEGUIDE
Article
Об отношениях сложностей выводов в ряде систем исчисления высказываний.
Article
О правиле множителей Лагранжа в задачах с ограничениями типа равенства, задаваемые квазидифференцируемыми функциями
Article
IMAGE INTERPOLATION USING MIXED SPLINES
Article
One Approach to the Problem of the Existence of a Solution in Neural Networks
Article
Neural Network Effectiveness Evaluation While the Intersection of Images in the Receptor Field
Article
On Machine Learning Powered Theorem Prover for Propositional Fragment of Minimal Logic
Article
ՀՀ հիփոթեքային ֆինանսավորումը և տների գները
Book
Օպտիմիզացիայի մեթոդներ
2020
308
Article
Influence of boundary conditions on the aero-thermo-elastic stability of a closed cylindrical shell
Article
Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems
Article
О СВОЙСТВАХ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ РЕЗОЛЮЦИЙ КЛАССИЧЕСКОЙ И НЕКЛАССИЧЕСКИХ ЛОГИК
Article
Relations between the Proof Complexity Characteristics in Two Universal Proof Systems for All Variants of Many-Valued Logics
Article
О непрерывных селекциях многозначных отображений с почти выпуклыми значениями
