Разработка методов решения подзадач для одного класса систем логических соотношенийАртемьева, Ирина Леонидовна199929 с.