Հոդված
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
Հոդված
ՀՀ հիփոթեքային ֆինանսավորումը և տների գները
Հոդված
Influence of boundary conditions on the aero-thermo-elastic stability of a closed cylindrical shell
Գիտաժողովի նյութ
On monotonous and strong monotonous properties of some propositional proof systems for two valued and finite-many-valued logics
2020
2
Գիտաժողովի նյութ
On three types of universal propositional proof systems for all versions of many-valued logics and some properties of them
2020
2
Գիտաժողովի նյութ
РАСПРОСТРАНЕНИЕ УПРУГО-СПИНОВЫХ ВОЛН В СОСТАВНОЙ ФЕРРОМАГНИТНОЙ СТРУКТУРЕ С ПОЛУБЕСКОНЕЧНОЙ ТРЕЩИНОЙ
2020
14-18
Գիտաժողովի նյութ
Генетический алгоритм для построения ффективных сценариев обучения в системах электронного обучения
2020
205-209
Գիտաժողովի նյութ
Использование методов Data Mining для построения нечетких экспертных систем
2020
191-194
Դասագիրք
Օպտիմիզացիայի մեթոդներ
2020
308
Հոդված
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
Հոդված
ՏՐԱՄԱԲԱՆԱԿԱՆ ՌԵԳՐԵՍԻԱՆ ՈՐՊԵՍ ՄԱՐՔԵԹԻՆԳԻ ԳՈՐԾԻՔ
