Հոդված
On lower bounds for proofs sizes in Frege systems
2019
116-121
Հրապարակումներ
Հոդված
On Some Systems of Propositional Minimal Logic with Loop Detection
2019
110-115
Հոդված
Cyclic deficiency of graphs
2019
171-185
Հոդված
ASYMPTOTIC ESTIMATES OF THE NUMBER OF SOLUTIONS OF SYSTEMS OF EQUATIONS WITH DETERMINABLE PARTIAL BOOLEAN FUNCTIONS
2019
127-131
Հոդված
Առաջադրանքների մշակման HotPotatoes գործիքային միջավայր
2019
29-43
Հոդված
THE NON-CLASSICAL PROBLEM OF AN ORTHOTROPIC BEAM OF VARIABLE THICKNESS WITH THE SIMULTANEOUS ACTION OF ITS OWN WEIGHT AND COMPRESSIVE AXIAL FORCES
2019
183-190
Հոդված
Boundary-value problems and associated eigenvalue problems for systems describing vibrations of a rotation shell.
2019
1350–1366
Հոդված
О некоторых свойствах пропозициональной системы обобщенных расщеплений
2019
34-42
Հոդված
О количестве минимальных тавтологий и свойствах их выводов в ряде систем классической и неклассических логик
2019
66-79
Հոդված
О сходимости частичных сумм рядов Франклина к +∞
2019
54-65
Հոդված
Նեյրոնային ցանցերի ներածություն
2019
53-63
Հոդված
Computing the Moor-Penrose Inverse for Bidiagonal Matrices
2019
11-23
Հոդված
ՀՀ տնտեսական աճի, պետբյուջեի հարկային մուտքերի և զբաղվածության վրա օտարերկրյա ուղղակի ներդրումների ազդեցության գնահատումը
2019
121-127
ՈՒսումնական ձեռնարկ
Ծրագրավորում
2019
234
Դասագիրք
Թվային մեթոդներ
2019
462
Դասագիրք
Թվային մեթոդներ
2019
462
Հոդված
A NECESSARY AND SUFFICIENT CONDITION FOR THE UNIQUENESS OF βδ-NORMAL FORM OF TYPED λ-TERMS FOR THE CANONICAL NOTION OF δ-REDUCTION
2019
28–36
Հոդված
Some properties of several proof systems for Intuitionistic, Johansson’s and Monotone propositional logics
2018
61-72
Հոդված
"Слабые” системы выводов классического исчисления высказываний не монотонны
2018
5-10
Հոդված
Two types of universal proof systems for all variants of many-valued logics and some properties of them
2018
1-8