Бритковський, В.2017-02-062017-02-062001Бритковський В. Математична структура системи автоматизованого набору формул алгебри алгоритмів-секвенцій / В. Бритковський // Вісник Національного університету "Львівська політехніка". – 2001. – № 415 : Комп'ютерні системи проектування. Теорія і практика. – C. 172–175. – Бібліографія: 3 назви.https://ena.lpnu.ua/handle/ntb/35681Описано синтез математичної структури системи автоматизованого набору формул алгоритмів-секвенцій і оптимізацію за кількістю символів.uaArticle