Article
On Machine Learning Powered Theorem Prover for Propositional Fragment of Minimal Logic
Publications
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
О непрерывных селекциях многозначных отображений с почти выпуклыми значениями
Article
Some improvement of lower bounds for steps and sizes of proofs in Frege systems
Article
Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик
Article
Some results on the palette index of graphs
Article
Universal system for many-valued logic, based on splitting method, and some of its properties
Article
ՏՐԱՄԱԲԱՆԱԿԱՆ ՌԵԳՐԵՍԻԱՆ ՈՐՊԵՍ ՄԱՐՔԵԹԻՆԳԻ ԳՈՐԾԻՔ
Article
On the Proof Complexities of Strongly Equal Non-classical Tautologies
Article
О точках пересечения двух плоских алгебраических кривых.
Article
On the Intersection Points of Two Plane Algebraic Curves
Article
ON THE DIMENSION OF SPACES OF ALGEBRAIC CURVES PASSING THROUGH n-INDEPENDENT NODES
Article
ON A LINEARIZED COVERINGS OF A CUBIC HOMOGENEOUS EQUATION OVER A FINITE FIELD. LOWER BOUNDS
Article
О ВОЗМОЖНОСТИ ВНУТРЕННОГО РЕЗОНАНСА СДВИГОВЫХ ЧАСТОТ УПРУГОГО ВОЛНОВОДА, ОБУСЛОВЛЕННОГО СМЕШАННЫМИ КРАЕВЫМИ УСЛОВИЯМИ
