Статья
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
Конференция
О разрешимости задачи Дирихле для эллиптического уравнения второго порядка
