Разработка и реализация методов и алгоритмов абдуктивного вывода с использованием систем поддержки истинности на основе предположений
Хотимчук, Кирилл Юрьевич. Разработка и реализация методов и алгоритмов абдуктивного вывода с использованием систем поддержки истинности на основе предположений : диссертация ... кандидата технических наук : 05.13.17 / Хотимчук Кирилл Юрьевич; [Место защиты: Моск. энергет. ин-т].- Москва, 2011.- 120 с.: ил. РГБ ОД, 61 11-5/2614
