Исследование задач и методы их решения для одного класса систем логических соотношений
Суров Вадим Валерьевич. Исследование задач и методы их решения для одного класса систем логических соотношений : диссертация ... кандидата физико-математических наук : 05.13.11.- Владивосток, 2000.- 183 с.: ил. РГБ ОД, 61 00-1/1165-7
