Логическое программирование. Сборник статей
Проектирование технологических операций обработки заготовок на станках с ЧПУ
