Հոդված
О СВОЙСТВАХ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ РЕЗОЛЮЦИЙ КЛАССИЧЕСКОЙ И НЕКЛАССИЧЕСКИХ ЛОГИК
Հրապարակումներ
Հոդված
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
Հոդված
ASYMPTOTIC ESTIMATES OF THE NUMBER OF SOLUTIONS OF SYSTEMS OF EQUATIONS WITH DETERMINABLE PARTIAL BOOLEAN FUNCTIONS
