Հոդված
On execution of functional programs.
Հրապարակումներ
Հոդված
О равномерной квазиасимптотике решений гиперболических уравнений
Գիտաժողովի նյութ
Educational Process Management System
Գիտաժողովի նյութ
Building and Execution of Queries for Educational Process Management System
Գիտաժողովի նյութ
Нейросетевые технологии в задачах прогнозирования
Գիտաժողովի նյութ
Нейросетевое прогнозирование временных рядов
Գիտաժողովի նյութ
Применение современных информационных технологий в задачах биометрической идентификации по радужной оболочке глаза
Գիտաժողովի նյութ
On some universal system for various propositional logics
Գիտաժողովի նյութ
Some notes about lower bounds for steps and sizes of proofs in Frege systems
Գիտաժողովի նյութ
Improvement of lower bounds for steps and sizes of proofs in Frege systems
Գիտաժողովի նյութ
Interval edge colorings of Hamming graphs
Գիտաժողովի նյութ
On Interval Edge-Colorings of Bipartite Graphs
Գիտաժողովի նյութ
On Interval Cyclic Colorings of Bipartite Graphs
Գիտաժողովի նյութ
The proof complexities relations for strongly equal classical tautologies in Frege systems
Գիտաժողովի նյութ
Some new proof systems for a version of many-valued logics and proof complexities in it
Գիտաժողովի նյութ
On lower bounds for steps and sizes of proofs in Frege systems
Գիտաժողովի նյութ
On the Length of the Minimal Testor for Some Class of Binary Tables
Գիտաժողովի նյութ
On the Number of Solutions of Systems of Equations with not everywhere defined Boolean Functions
Գիտաժողովի նյութ
On solvability of a Dirichlet problem with the boundary function in L2 for the second-order elliptic equation
Գիտաժողովի նյութ
О разрешимости задачи Дирихле для эллиптического уравнения второго порядка
