Формализация и представление исходной задачи в виде, пригодном для автоматизированного поиска решения компьютерной системой.
Статей пока нет. Будьте первым!