Text this: Автоматизация логического проектирования дискретных систем: сборник научных трудов