Статья
Сравнение длин линейных и древовидных выводов некоторых семейств формул в ряде систем исчисления высказываний
Публикации
Статья
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
Статья
Analytical Inversion of Tridiagonal Hermitian Matrices
Образовательный Руководство
Մատրիցային անալիզի տարրեր
2022
224
Статья
On the Product of Subsets in Periodic Groups
Статья
On a result concerning algebraic curves passing through n-independent nodes
Статья
Recognition of Geometric Images by Linguistic Method
Статья
An Approach to Developing and Implementing a Recommendation System
Статья
ИССЛЕДОВАНИЕ СВОЙСТВ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИДВУХ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ КЛАССИЧЕСКОЙ ЛОГИКИ
Статья
INVESTIGATION OF THE INFLUENCE OF AN INTERMEDIATE HINGE SUPPORT IN THE PROBLEM OF BENDING OF AN ELASTICALLY RESTRAINED ORTHOTROPIC BEAM
Статья
ԷՔՍՏՐԵՄՈՒՄՆԵՐԻ ՈՒՍՈՒՑՄԱՆ ՈՐՈՇ ՄԵԹՈԴԱԿԱՆ ՀՆԱՐՆԵՐ
Статья
Locally-balanced k-partitions of graphs
Статья
Embeddings Determined by Universal Words in the Rank 2 Free Group
