Հոդված
О непрерывных и липшицевых селекциях многозначных отображений, заданных системой неравенств
2023
447-468
Հրապարակումներ
Հոդված
Creating a Security Assurance System Using IoT and ML Technologies
2023
51-56
Հոդված
Creating a Sentiment Analyzer for Text Messages
2023
53-60
Հոդված
Artificial Intelligence Methods in Osteoporosis Prediction Problem
2023
171-177
Հոդված
Generation of Fuzzy Expert Systems via Machine Learning Methods
2023
186-187
Հոդված
Remote Health Monitoring System for Patients
2023
29-48
Հոդված
КОЛИЧЕСТВО КРАТЧАЙШИХ РАЗРЕЗОВ ГРАФА
2023
22 - 29
ՈՒսումնական ձեռնարկ
Մաթեմատիկական ֆիզիկայի հավասարումներ: Խնդիրներ և լուծումներ:
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
Հոդված
Relations between the Proof Complexities in Frege Systems, Deep-Inference Proof Systems KS and eKS
2022
182-187
Հոդված
О СУЩЕСТВОВАНИИ НЕПРЕРЫВНЫХ СЕЛЕКЦИЙ МНОГОЗНАЧНОГО ОТОБРАЖЕНИЯ, СВЯЗАННОГО С ЗАДАЧЕЙ МИНИМИЗАЦИИ ФУНКЦИОНАЛА
2022
284-299
Հոդված
ON THE PALETTE INDEX OF GRAPHS HAVING A SPANNING STAR
2022
85-96
Հոդված
Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems
2022
61-66
ՈՒսումնական ձեռնարկ
Введение в метод конечных элементов
2022
142