|
|
Публикации в базе данных Math-Net.Ru
-
Исторический контекст архива Платонова–Казаковой и организация баллистического обеспечения полетов космических аппаратов
Препринты ИПМ им. М. В. Келдыша, 2020, 055, 52 стр.
-
XML-XSL технология для построения интернет сайта. Часть 2: XSL преобразования
Препринты ИПМ им. М. В. Келдыша, 2006, 016, 24 стр.
-
XML-XSL технология для построения интернет сайта. Часть 1: XML описание, CSS, новостной сайт
Препринты ИПМ им. М. В. Келдыша, 2006, 015, 28 стр.
-
Разрешимость проблемы достижимости для сетей Петри (обзор проблемы)
Автомат. и телемех., 1988, № 11, 3–39
-
Из принципа селектора для аналитических отношений эквивалентности не следует существование полного $A_2$-упорядочения континуума
Матем. сб., 120(162):2 (1983), 164–179
-
О принципе селектора и об аналитической определимости конструктивных множеств
УМН, 37:2(224) (1982), 193–194
-
Построение определимых степеней конструктивности
Сиб. матем. журн., 22:1 (1981), 35–46
-
Об аналитической определимости конструктивных действительных чисел
Матем. заметки, 28:2 (1980), 177–186
© , 2026