Верхние оценки длины проверяющих текстов для схем из функциональных элементов
Коляда, Сергей Сергеевич. Верхние оценки длины проверяющих текстов для схем из функциональных элементов : диссертация ... кандидата физико-математических наук : 01.01.09 / Коляда Сергей Сергеевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова].- Москва, 2013.- 77 с.: ил. РГБ ОД, 61 14-1/75