Статья
On execution of functional programs.
Публикации
Статья
О равномерной квазиасимптотике решений гиперболических уравнений
Конференция
Educational Process Management System
Конференция
Building and Execution of Queries for Educational Process Management System
Конференция
Нейросетевые технологии в задачах прогнозирования
Конференция
Нейросетевое прогнозирование временных рядов
Конференция
Применение современных информационных технологий в задачах биометрической идентификации по радужной оболочке глаза
Конференция
INFLUENCE OF ABSORPTION ON THE X-RAY DIFFRACTION BY THE TRAPEZIFORM MODEL OF SUPERLATTICE WITH A STACKING FAULT
Конференция
Integrated intensity of x-ray reflection from a superlattice with a stacking fault
Конференция
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
