Статья
О непрерывных и липшицевых селекциях многозначных отображений, заданных системой неравенств
Публикации
Статья
Creating a Security Assurance System Using IoT and ML Technologies
Статья
Creating a Sentiment Analyzer for Text Messages
Статья
Artificial Intelligence Methods in Osteoporosis Prediction Problem
Статья
Remote Health Monitoring System for Patients
Статья
КОЛИЧЕСТВО КРАТЧАЙШИХ РАЗРЕЗОВ ГРАФА
Образовательный Руководство
Մաթեմատիկական ֆիզիկայի հավասարումներ: Խնդիրներ և լուծումներ:
2023
226
Книга
Մաթեմատիկական անալիզի հիմունքներ
2023
320
Книга
Մաթեմատիկական ֆիզիկայի հավասարումներ: Խնդիրներ և լուծումներ:
2023
226
Статья
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
Образовательный Руководство
Введение в метод конечных элементов
2022
142
