Метод и система логического вывода модифицируемых заключений
Томчук Максим Николаевич. Метод и система логического вывода модифицируемых заключений : диссертация ... кандидата технических наук : 05.13.17 / Томчук Максим Николаевич; [Место защиты: ГОУВПО "Пензенский государственный университет"].- Пенза, 2009.- 163 с.: ил.