Статья
On lower bounds for proofs sizes in Frege systems
2019
116-121
Публикации
Статья
On Some Systems of Propositional Minimal Logic with Loop Detection
2019
110-115
Статья
Cyclic deficiency of graphs
2019
171-185
Статья
ASYMPTOTIC ESTIMATES OF THE NUMBER OF SOLUTIONS OF SYSTEMS OF EQUATIONS WITH DETERMINABLE PARTIAL BOOLEAN FUNCTIONS
2019
127-131
Статья
Առաջադրանքների մշակման HotPotatoes գործիքային միջավայր
2019
29-43
Статья
THE NON-CLASSICAL PROBLEM OF AN ORTHOTROPIC BEAM OF VARIABLE THICKNESS WITH THE SIMULTANEOUS ACTION OF ITS OWN WEIGHT AND COMPRESSIVE AXIAL FORCES
2019
183-190
Статья
Boundary-value problems and associated eigenvalue problems for systems describing vibrations of a rotation shell.
2019
1350–1366
Статья
О некоторых свойствах пропозициональной системы обобщенных расщеплений
2019
34-42
Статья
О количестве минимальных тавтологий и свойствах их выводов в ряде систем классической и неклассических логик
2019
66-79
Статья
О сходимости частичных сумм рядов Франклина к +∞
2019
54-65
Статья
Նեյրոնային ցանցերի ներածություն
2019
53-63
Статья
Computing the Moor-Penrose Inverse for Bidiagonal Matrices
2019
11-23
Статья
ՀՀ տնտեսական աճի, պետբյուջեի հարկային մուտքերի և զբաղվածության վրա օտարերկրյա ուղղակի ներդրումների ազդեցության գնահատումը
2019
121-127
Образовательный Руководство
Ծրագրավորում
2019
234
Книга
Թվային մեթոդներ
2019
462
Книга
Թվային մեթոդներ
2019
462
Статья
A NECESSARY AND SUFFICIENT CONDITION FOR THE UNIQUENESS OF βδ-NORMAL FORM OF TYPED λ-TERMS FOR THE CANONICAL NOTION OF δ-REDUCTION
2019
28–36
Статья
Some properties of several proof systems for Intuitionistic, Johansson’s and Monotone propositional logics
2018
61-72
Статья
"Слабые” системы выводов классического исчисления высказываний не монотонны
2018
5-10
Статья
Two types of universal proof systems for all variants of many-valued logics and some properties of them
2018
1-8