Հոդված
On Machine Learning Powered Theorem Prover for Propositional Fragment of Minimal Logic
Հրապարակումներ
Հոդված
ՀՀ հիփոթեքային ֆինանսավորումը և տների գները
Դասագիրք
Օպտիմիզացիայի մեթոդներ
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
Հոդված
О ВОЗМОЖНОСТИ ВНУТРЕННОГО РЕЗОНАНСА СДВИГОВЫХ ЧАСТОТ УПРУГОГО ВОЛНОВОДА, ОБУСЛОВЛЕННОГО СМЕШАННЫМИ КРАЕВЫМИ УСЛОВИЯМИ
