(Видавництво Львівської політехніки, 2017-03-28) Василюк, А. С.; Басюк, Т. М.; Національний університет “Львівська політехніка”
Описано означення процесів згортання формул алгебри алгоритмів. Синтезовано,
мінімізовано, побудовано та досліджено математичне забезпечення процесів згортання
та розгортання формул алгебри алгоритмів.
