Зведений каталог бібліотек Харкова

• Класифікатори та каталоги
• Теорія керуючих систем: математичні аспекти

Тотожні перетворення. Системи правил перетворення

Документи:

• Квазиэквивалентные преобразования оптимизационных моделей в задачах управления технологическими процессами [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 "Техническая кибернетика и теория информации" / АН Киргиз. ССР, Ин-т автоматики. — Фрунзе, 1984. — 21 с.
• Формальные преобразования в алгоритмической алгебре условий [Текст] / АН УССР.Ин-т кибернетики. Секция "Математическое обеспечение ЭЦВМ". — К., 1973. — 28 с.