Статья
The Non-Classical Problem of Thermoelastic Stability of an Elastically Restrained Orthotropic Plate of Variable Thickness
Публикации
Статья
On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus
Статья
O сложностях выводов балансированных формул в двух пропозициональных системах выводов
Статья
Сравнение длин линейных и древовидных выводов некоторых семейств формул в ряде систем исчисления высказываний
Статья
PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS
Статья
Relations between the Proof Complexities in Frege Systems, Deep-Inference Proof Systems KS and eKS
Статья
О СУЩЕСТВОВАНИИ НЕПРЕРЫВНЫХ СЕЛЕКЦИЙ МНОГОЗНАЧНОГО ОТОБРАЖЕНИЯ, СВЯЗАННОГО С ЗАДАЧЕЙ МИНИМИЗАЦИИ ФУНКЦИОНАЛА
Статья
ON THE PALETTE INDEX OF GRAPHS HAVING A SPANNING STAR
Статья
Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems
Статья
Analytical Inversion of Tridiagonal Hermitian Matrices
Статья
On the Product of Subsets in Periodic Groups
Статья
On a result concerning algebraic curves passing through n-independent nodes
Статья
An Approach to Developing and Implementing a Recommendation System
Статья
Recognition of Geometric Images by Linguistic Method
Конференция
Ինֆորմատիկա և կիրառական մաթեմատիկա "ԻԿՄ 50"
2022
55
Конференция
Constructive embeddings of recursively presented groups using H-machines
2022
23
Конференция
Mathematical model of a non-classical problem of bending a beam of variable thickness with an additional condition
2022
88-89
Конференция
On continuous selections of set-valued mappings in optimization problems
2022
72-72
Конференция
On AI-driven customer support in cloud operations
2022
32 - 35
