Հոդված
On Machine Learning Powered Theorem Prover for Propositional Fragment of Minimal Logic
2020
135-142
Հրապարակումներ
Հոդված
ՀՀ հիփոթեքային ֆինանսավորումը և տների գները
2020
34-40
Դասագիրք
Օպտիմիզացիայի մեթոդներ
2020
308
Հոդված
Influence of boundary conditions on the aero-thermo-elastic stability of a closed cylindrical shell
2020
1-10
Հոդված
Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems
2019
56-63
Հոդված
О СВОЙСТВАХ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ РЕЗОЛЮЦИЙ КЛАССИЧЕСКОЙ И НЕКЛАССИЧЕСКИХ ЛОГИК
2019
74-77
Հոդված
Relations between the Proof Complexity Characteristics in Two Universal Proof Systems for All Variants of Many-Valued Logics
2019
69-74
Հոդված
О непрерывных селекциях многозначных отображений с почти выпуклыми значениями
2019
60-75
Հոդված
Some improvement of lower bounds for steps and sizes of proofs in Frege systems
2019
39-44
Հոդված
Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик
2019
33-39
Հոդված
Some results on the palette index of graphs
2019
1-20
Հոդված
Universal system for many-valued logic, based on splitting method, and some of its properties
2019
52-55
Հոդված
ՏՐԱՄԱԲԱՆԱԿԱՆ ՌԵԳՐԵՍԻԱՆ ՈՐՊԵՍ ՄԱՐՔԵԹԻՆԳԻ ԳՈՐԾԻՔ
2019
40-49
Հոդված
On the Proof Complexities of Strongly Equal Non-classical Tautologies
2019
105-112
Հոդված
On the usage of lines in GCn sets
2019
1-23
Հոդված
О точках пересечения двух плоских алгебраических кривых.
2019
17-30
Հոդված
On the Intersection Points of Two Plane Algebraic Curves
2019
90-97
Հոդված
ON THE DIMENSION OF SPACES OF ALGEBRAIC CURVES PASSING THROUGH n-INDEPENDENT NODES
2019
91-100
Հոդված
ON A LINEARIZED COVERINGS OF A CUBIC HOMOGENEOUS EQUATION OVER A FINITE FIELD. LOWER BOUNDS
2019
119–126
Հոդված
О ВОЗМОЖНОСТИ ВНУТРЕННОГО РЕЗОНАНСА СДВИГОВЫХ ЧАСТОТ УПРУГОГО ВОЛНОВОДА, ОБУСЛОВЛЕННОГО СМЕШАННЫМИ КРАЕВЫМИ УСЛОВИЯМИ
2019
48-56