Книга
Օպտիմիզացիայի մեթոդներ
2020
308
Публикации
Статья
Influence of boundary conditions on the aero-thermo-elastic stability of a closed cylindrical shell
Статья
Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems
Статья
О СВОЙСТВАХ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ РЕЗОЛЮЦИЙ КЛАССИЧЕСКОЙ И НЕКЛАССИЧЕСКИХ ЛОГИК
Статья
Relations between the Proof Complexity Characteristics in Two Universal Proof Systems for All Variants of Many-Valued Logics
Статья
О непрерывных селекциях многозначных отображений с почти выпуклыми значениями
Статья
Some improvement of lower bounds for steps and sizes of proofs in Frege systems
Статья
Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик
Статья
Some results on the palette index of graphs
Статья
Universal system for many-valued logic, based on splitting method, and some of its properties
Статья
ՏՐԱՄԱԲԱՆԱԿԱՆ ՌԵԳՐԵՍԻԱՆ ՈՐՊԵՍ ՄԱՐՔԵԹԻՆԳԻ ԳՈՐԾԻՔ
Статья
On the Proof Complexities of Strongly Equal Non-classical Tautologies
Статья
О точках пересечения двух плоских алгебраических кривых.
Статья
On the Intersection Points of Two Plane Algebraic Curves
Статья
ON THE DIMENSION OF SPACES OF ALGEBRAIC CURVES PASSING THROUGH n-INDEPENDENT NODES
Статья
ON A LINEARIZED COVERINGS OF A CUBIC HOMOGENEOUS EQUATION OVER A FINITE FIELD. LOWER BOUNDS
Статья
О ВОЗМОЖНОСТИ ВНУТРЕННОГО РЕЗОНАНСА СДВИГОВЫХ ЧАСТОТ УПРУГОГО ВОЛНОВОДА, ОБУСЛОВЛЕННОГО СМЕШАННЫМИ КРАЕВЫМИ УСЛОВИЯМИ
Статья
On Some Systems of Propositional Minimal Logic with Loop Detection
