Article
On execution of functional programs.
Publications
Article
О равномерной квазиасимптотике решений гиперболических уравнений
Conference
Educational Process Management System
Conference
Building and Execution of Queries for Educational Process Management System
Conference
Нейросетевые технологии в задачах прогнозирования
Conference
Нейросетевое прогнозирование временных рядов
Conference
Применение современных информационных технологий в задачах биометрической идентификации по радужной оболочке глаза
Conference
INFLUENCE OF ABSORPTION ON THE X-RAY DIFFRACTION BY THE TRAPEZIFORM MODEL OF SUPERLATTICE WITH A STACKING FAULT
Conference
Integrated intensity of x-ray reflection from a superlattice with a stacking fault
Conference
On some universal system for various propositional logics
Conference
Some notes about lower bounds for steps and sizes of proofs in Frege systems
Conference
Improvement of lower bounds for steps and sizes of proofs in Frege systems
Conference
Interval edge colorings of Hamming graphs
Conference
On Interval Edge-Colorings of Bipartite Graphs
Conference
On Interval Cyclic Colorings of Bipartite Graphs
Conference
The proof complexities relations for strongly equal classical tautologies in Frege systems
Conference
Some new proof systems for a version of many-valued logics and proof complexities in it
Conference
On lower bounds for steps and sizes of proofs in Frege systems
Conference
On the Length of the Minimal Testor for Some Class of Binary Tables
Conference
On the Number of Solutions of Systems of Equations with not everywhere defined Boolean Functions
