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