Հոդված
ON THE LOCALIZATION OF SHEAR VIBRATIONS IN A COMPOSITE ELASTIC SEMI-INFINITE FLAT WAVEGUIDE
Հրապարակումներ
Հոդված
Об отношениях сложностей выводов в ряде систем исчисления высказываний.
Հոդված
О правиле множителей Лагранжа в задачах с ограничениями типа равенства, задаваемые квазидифференцируемыми функциями
Հոդված
IMAGE INTERPOLATION USING MIXED SPLINES
Հոդված
One Approach to the Problem of the Existence of a Solution in Neural Networks
Հոդված
Neural Network Effectiveness Evaluation While the Intersection of Images in the Receptor Field
Հոդված
On Machine Learning Powered Theorem Prover for Propositional Fragment of Minimal Logic
Հոդված
ՀՀ հիփոթեքային ֆինանսավորումը և տների գները
Դասագիրք
Օպտիմիզացիայի մեթոդներ
2020
308
Հոդված
Influence of boundary conditions on the aero-thermo-elastic stability of a closed cylindrical shell
Հոդված
Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems
Հոդված
О СВОЙСТВАХ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ РЕЗОЛЮЦИЙ КЛАССИЧЕСКОЙ И НЕКЛАССИЧЕСКИХ ЛОГИК
Հոդված
Relations between the Proof Complexity Characteristics in Two Universal Proof Systems for All Variants of Many-Valued Logics
Հոդված
О непрерывных селекциях многозначных отображений с почти выпуклыми значениями
Հոդված
Some improvement of lower bounds for steps and sizes of proofs in Frege systems
Հոդված
Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик
Հոդված
Some results on the palette index of graphs
Հոդված
Universal system for many-valued logic, based on splitting method, and some of its properties
Հոդված
ՏՐԱՄԱԲԱՆԱԿԱՆ ՌԵԳՐԵՍԻԱՆ ՈՐՊԵՍ ՄԱՐՔԵԹԻՆԳԻ ԳՈՐԾԻՔ
