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