Գիտաժողովի նյութ
Decomposing graphs into interval colorable subgraphs and no-wait multi-stage schedules
2021
33
Հրապարակումներ
Գիտաժողովի նյութ
On non-monotonous properties of some propositional proof systems
2021
165
Գիտաժողովի նյութ
Comparison of two propositional proof systems by lines and by sizes
2021
166
Գիտաժողովի նյութ
Вложения счетных групп, задаваемые универсальными словами в свободной группе
2021
100
Հոդված
On the rate of convergence for approximation of an eigenvalue problem describing vibrations of axisymmetric revolution elastic shells
Հոդված
О некоторых свойствах минимальных тавтологий классической и неклассических логик
Հոդված
Условия минимума гладкой функции на границе квазидифференцируемого мниожества
Հոդված
O НЕМОНОТОНОСТИ ГИЛЬБЕРТОВСКИХ СИСТЕМ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ КЛАССИЧЕСКИХ И НЕКЛАССИЧЕСКИХ ЛОГИК
Հոդված
On three types of universal propositional proof systems for all versions of many-valued logics and some its properties.
Հոդված
On monotonous and strongly monotonous properties of some propositional proof systems for different logics.
Հոդված
Էլեկտրոնային պիտակներով թվային ծառայությունների ստեղծման հիմնական սկզբունքները
Հոդված
On the Noether and the Cayley–Bacharach Theorems with PD Multiplicities
Հոդված
On non-monotonous properties of some classical and nonclassical propositional proof systems
Հոդված
On locally-balanced 2-partitions of bipartite graphs
Հոդված
ON THE LOCALIZATION OF SHEAR VIBRATIONS IN A COMPOSITE ELASTIC SEMI-INFINITE FLAT WAVEGUIDE
Հոդված
Об отношениях сложностей выводов в ряде систем исчисления высказываний.
Հոդված
О правиле множителей Лагранжа в задачах с ограничениями типа равенства, задаваемые квазидифференцируемыми функциями
Հոդված
IMAGE INTERPOLATION USING MIXED SPLINES
