Հոդված
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
Հոդված
ИССЛЕДОВАНИЕ СВОЙСТВ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИДВУХ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ КЛАССИЧЕСКОЙ ЛОГИКИ
Հոդված
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
Հոդված
ON PLANE ALGEBRAIC CURVES PASSING THROUGH n-INDEPENDENT NODES
Հոդված
РАЗРАБОТКА ПРОГРАММЫ КОНФОРМАЦИОННОГО АНАЛИЗА И ВИЗУАЛИЗАЦИИ РЕЗУЛЬТАТОВ МОЛЕКУЛЯРНОГО ДОКИНГА С ИСПОЛЬЗОВАНИЕМ МЕТОДОВ КЛАСТЕРИЗАЦИИ
Հոդված
On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic