Հոդված
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
Հոդված
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
