Разработка метода и системы логического вывода модифицируемых заключений
Томчук, Максим Николаевич. Разработка метода и системы логического вывода модифицируемых заключений : диссертация ... кандидата технических наук : 05.13.01 / Томчук Максим Николаевич; [Место защиты: Вят. гос. ун-т].- Пенза, 2009.- 172 с.: ил. РГБ ОД, 61 09-5/1624