Информатика, вычислительная техника и управление. Диссертация Комбинаторные средства формализации эмпирической индукции : диссертация ... доктора физико-математических наук : 05.13.17 / Забежайло Михаил Иванович; [Место защиты: Федеральное государственное бюджетное учреждение науки Вычислительный центр им. А.А. Дородницына Российской академии наук], Москва, 2015