Конференция
On AI-driven customer support in cloud operations
Публикации
Конференция
On Type Correctness of Polymorphic Functional Programs
Конференция
Type Inference System of Polymorphic λ-Terms
Конференция
On continuous and Lipschitz selections of multivalued mappings
Конференция
On directionally differentiable selections of set-valued mappings with convex, closed graphs
Конференция
СДВИГОВЫЕ КОЛЕБАНИЯ ШТАМПОВ НА КРАЯХ ПЬЕЗОЭЛЕКТРИЧЕСКОГО СЛОЯ
Конференция
On polynomial solutions of PDE with constant coefficients
Конференция
Construction of a Mathematical Model and Solution of the Optimization Problem for tht Bending of a Beam of Variable Thicknes
Конференция
HIGMAN’S SEQUENCE-BUILDING OPERATIONS AND EMBEDDING OF RECURSIVE GROUPS
Конференция
Strong Edge-Colorings of Powers of Paths and Cycles
Конференция
ON THE ALGORITHM OF RECOGNIZING OF INTERVAL COLORABILITY OF CACTUS GRAPHS
Конференция
ВЕРШИННО-РАЗЛИЧАЮЩАЯ РЁБЕРНАЯ РАСКРАСКА КУБОВ ЛУКАСА
