Математическое моделирование процесса обработки данных на основании их формализованного описания с использованием логики предикатов
Annotation
в работе рассматривается возможность автоматизированной обработки данных с использованием их логического описания, а также свойств и характеристик, соответствующих искомому классу.
more