Конференция
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
2023
32-34
Публикации
Конференция
An Upper Bound on the Edge-Chromatic Sum of Fibonacci Cubes
2023
137-138
Конференция
On Interval Coloring Thickness of Some Classes of Bipartite Graphs
2023
141-143
Конференция
A mathematical model for the optimization problem of bending a variable-thickness orthotropic beam
2023
88-89
Конференция
УСТОЙЧИВОСТЬ КОМПОЗИЦИОННОЙ ЦИЛИНДРИЧЕСКОЙ ОБОЛОЧКИ В СВЕРХЗВУКОВОМ ПОТОКЕ ГАЗА
2023
302-304
Конференция
Strong Edge-Coloring of Hamming Graphs
2023
131-132
Конференция
Vertex-Distinguishing Edge Coloring of Fibonacci Cubes
2023
144-146
Конференция
On continuous and Lipschitz selections of multivalued mappings
2023
54 - 55
Конференция
СДВИГОВЫЕ КОЛЕБАНИЯ ШТАМПОВ НА КРАЯХ ПЬЕЗОЭЛЕКТРИЧЕСКОГО СЛОЯ
2023
12-16
Конференция
Strong Edge-Colorings of Powers of Paths and Cycles
2023
35-37
Конференция
ON THE ALGORITHM OF RECOGNIZING OF INTERVAL COLORABILITY OF CACTUS GRAPHS
2023
42-43
Конференция
ВЕРШИННО-РАЗЛИЧАЮЩАЯ РЁБЕРНАЯ РАСКРАСКА КУБОВ ЛУКАСА
2023
44-46
Учебник
Մաթեմատիկական ֆիզիկայի հավասարումներ: Խնդիրներ և լուծումներ:
2023
226
Учебник
Մաթեմատիկական անալիզի հիմունքներ
2023
320
Образовательный Руководство
Մաթեմատիկական ֆիզիկայի հավասարումներ: Խնդիրներ և լուծումներ:
2023
226
Статья
The Non-Classical Problem of Thermoelastic Stability of an Elastically Restrained Orthotropic Plate of Variable Thickness
2022
195-206
Статья
On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus
2022
47-55
Статья
O сложностях выводов балансированных формул в двух пропозициональных системах выводов
2022
118-124
Статья
Сравнение длин линейных и древовидных выводов некоторых семейств формул в ряде систем исчисления высказываний
2022
125-132
Статья
PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS
2022
58-65